根項目の集合を と表す。 全ての項目は、 のクリーネ閉包 に属する。

元 と元 の二項関係を と表す。 範列関係 範列関係を *1 と表すとする。 元 と元 の間に範列関係が存在するとき、その二項関係を と表す。 *1:Paradigm relationship