Z記法の右関係像括弧

Z記法で⦈は右側の関係像括弧です。関係によって集合の各要素と結び付く値、つまり集合の関係像を表す式を閉じます。対になる左括弧は⦇です。Z記法は1970年代後半にオックスフォードで進んだ、ソフトウェアシステムを数学的に仕様化し推論する形式手法の研究から形づくられました。