S を定義域が S×S で codomain が S の 二項演算がある集合とし, e を S の単位元とし, T を定義域が T×T で codomain が T の二項演算がある集合とする.二項演算を S の元二つか T の元二つを並べるだけで表記する.f:S→T を ∀a(∀b(((a∈S)∧(b∈S))⇒(f

続きを読む