การเป็นสมาชิกของมัลติเซตในสัญกรณ์ Z

อ่านว่า “เป็นสมาชิกของมัลติเซต”

ใน x ⋿ B ตัว x คือสมาชิก และ B คือมัลติเซต ข้อความนี้เป็นจริงเมื่อ B มี x อยู่อย่างน้อยหนึ่งครั้ง

ลองนึกถึงมัลติเซตที่มีแอปเปิลสองลูกและลูกแพร์หนึ่งลูก มันบันทึกว่าแอปเปิลปรากฏสองครั้ง ส่วนเซตทั่วไปจะเก็บเฉพาะสมาชิกที่แตกต่างกัน คือแอปเปิลกับลูกแพร์ มัลติเซตไม่เก็บลำดับของสมาชิก

Z อธิบายว่าระบบซอฟต์แวร์ควรทำอะไร

Z เป็นสัญกรณ์สำหรับเขียนข้อกำหนดแบบรูปนัย โดยใช้คณิตศาสตร์อธิบายข้อมูลและกฎของระบบอย่างแม่นยำ แต่ไม่กำหนดว่าจะต้องเขียนโปรแกรมอย่างไร สัญกรณ์นี้พัฒนาจากงานวิจัยที่ออกซฟอร์ดช่วงปลายทศวรรษ 1970 คำภาษาอังกฤษ “bag” ซึ่งแปลตรงตัวว่า “ถุง” ในที่นี้หมายถึงมัลติเซต ไม่ใช่ภาชนะจริง