Z 記法右關係像括號

在 Z 記法中，⦈ 是右側的關係像括號：它結束表示集合在某個關係下之像的表達式，也就是該關係與集合元素相連的值。對應的左側括號是 ⦇。Z 記法於 1970 年代後期在牛津逐漸成形，源自形式方法研究，也就是運用數學描述軟體系統並推理其性質。