Parentesi destra dell’immagine relazionale della notazione Z

Nella notazione Z, ⦈ è la parentesi destra dell’immagine relazionale: chiude l’espressione dell’immagine di un insieme tramite una relazione, cioè dei valori che la relazione collega agli elementi dell’insieme. La parentesi sinistra corrispondente è ⦇. La notazione Z prese forma a Oxford alla fine degli anni Settanta, nell’ambito dei metodi formali: l’uso della matematica per specificare sistemi software e ragionare su di essi.