昨日の続き。 C0 = {0 ,1}でC1={id0, id1, f, g}でf:0 \to 1とg:1 \to 0とする。 NC2にはf.gとg.fという元があり、これらはNC1からの像にならない。 NC2 = {f.id0, id0.id0, id1.f, g.f, id1.id1, g.id1, id0.g, f.g}であり、これらで添え字づけられた三角形…