ティーツェ変換
ある関係子が他の関係子から帰結できるとき、表示からその関係子を削除できる。たとえば表示 x = x = 1 では関係式 x = 1 は関係式 x = 1 から帰結できるので削除できる。一方でもし関係式 x = 1 を削除すると、これは位数 6 の巡回群 G ≅ ⟨ x | x = 1 ⟩ を定めるため、群は同型でない。削除する関係子が他の関係子から帰結できるのかに注意を要する。