ティーツェ変換
新たな関係子が既にある関係子から帰結できるとき、表示にその関係子を添加できる。たとえば位数 3 の巡回群がもつ有限表示 G ≅ ⟨ x | x = 1 ⟩ をとる。関係式 x = 1 の両辺に x を掛けると x = x = 1 となるから関係式 x = 1 を関係式 x = 1 から帰結できる。したがって G ≅ ⟨ x | x = 1, x = 1 ⟩ は同じ群の別表示である。