>>831
ナンセンスな話なんじゃないかな、それは
代数が扱うのは無限の演算というかあくまで構造に過ぎないし、集合は集合だからね
両者を本質的に取り持つのは写像というのがポイントではあるけども