■

根項目の集合を と表す。

全ての項目は、 のクリーネ閉包 に属する。