>>225
わざと言ってる?
代数系を考えているのに、集合としての同型だけで十分なわけないでしょ