Що означає ⨾
Він поєднує два відношення через спільне проміжне значення. У нотації Z композиція відношень означає, що результат першого відношення може стати входом другого. Знак також пов’язує операції, як у Check ⨾ Reserve: перша має залишити стан, яким може скористатися наступна.
Традиція позначати композицію відношень крапкою з комою старша за нотацію Z; джерела простежують її до підручника Ернста Шредера 1895 року. Z запозичила цю композицію для точного опису програмного забезпечення, а її міжнародний стандарт опублікували у 2002 році.
Спеціалізоване математичне позначення у специфікаціях Z; тип і порядок операндів визначають композицію.
Не плутайте з
1Як набрати ⨾
⨾\2A3EКоди й кодуванняКодових точок: 1
Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.
