関係写像演算子の lattice グループを追加