Komposisi Skema Z

Simbol ini menggabungkan dua skema Z, yaitu uraian sistem yang diberi nama. Skema adalah blok bernama berisi variabel dan kondisi yang menjelaskan keadaan atau operasi sistem. Variabel untuk keadaan setelah operasi pertama cocok dengan variabel keadaan yang diharapkan sebelum operasi kedua; Z menyembunyikan keadaan perantara yang sama itu dalam hasilnya.

Z dirancang pada akhir 1970-an untuk menjelaskan sistem komputer dengan matematika dan berkembang sepanjang 1980-an. Buku panduan referensi pertama yang diterbitkan secara luas terbit pada 1989. Z bertumpu pada teori himpunan, matematika tentang kumpulan, dan logika predikat, yang menyatakan kondisi yang dapat benar atau salah.

Gunakan ⨟ hanya dalam notasi Z

Simbol ini adalah operator dalam kalkulus skema Z, yaitu aturan untuk menggabungkan skema. Simbol ini tidak menyatakan komposisi umum fungsi atau relasi.