Linke Bildklammer der Z-Notation

Es eröffnet in der Z-Notation einen Ausdruck für das Relationsbild.

Z ist eine mathematische Sprache, mit der Software und andere diskrete Systeme präzise beschrieben werden. In R⦇S⦈ verknüpft die Relation R Werte miteinander, und S ist eine Menge; der Ausdruck bezeichnet Werte, die R mit mindestens einem Element aus S verbindet.

Jean-Raymond Abrials Arbeit an Z begann in den späten 1970er-Jahren. Forschende in Oxford entwickelten die Notation weiter, und in den 1980er-Jahren wurde sie in Industrieprojekten eingesetzt; später kam sie im Unterricht zu formalen Methoden vor.