Z 記法的模式合成

它把兩個 Z 模式，也就是有名稱的系統描述，結合起來。 模式是以名稱組成的變數與條件區塊，用來描述系統狀態或操作。第一個操作結束後的狀態變數，會對應到第二個操作開始前所預期的狀態變數；Z 會在結果中隱藏這個共用的中間狀態。

Z 在 1970 年代後期構想出來，用數學描述電腦系統，並在 1980 年代持續發展。第一本廣泛出版的參考手冊於 1989 年問世。Z 建立在集合論，也就是研究集合的數學，以及述詞邏輯之上；述詞邏輯用來表達可判定為真或假的條件。

⨟只用於 Z 記法

它是 Z 模式演算中的運算子，也就是結合模式的規則之一。它不代表一般的函數合成或關係合成。