Corchete derecho de enlace de la notación Z

Cierra un enlace de Z. Un enlace reúne componentes con nombre y sus valores o declaraciones en un único objeto estructurado.

Su signo de apertura correspondiente es ⦉; juntos señalan dónde empieza y termina ese objeto en una expresión formal.

¿Cuándo se desarrolló la notación Z?

Durante las décadas de 1970 y 1980. La notación Z surgió de la teoría de conjuntos, que estudia colecciones, y de la lógica de predicados, que estudia afirmaciones sobre objetos. Se convirtió en un método formal para especificar software y otros sistemas discretos.