>>443
ん? その代数系において演算がどういう規則に従うかという公理は、
入れものとしての代数系が台と演算の組であるという事実を偽にしたりするの?
例えばベクトル空間は点付き集合とその上の演算と、一つの体と体の点付き集合への作用の四つ組
だけど、そういう四つ組が全部ベクトル空間だとはまったく書いてないよ？