Oh field addition? That’s just the abelian operation between the group of non-1 elements. Oh a group? That’s just a monoid with inverses. Oh a monoid? That’s just a semigroup with identity. Oh a semigroup? That’s just a set with an associative binary operation. Oh a binary operation? That’s
He’s wondering about set theory, rings, and algebra and wants you to define what those abstract symbols mean.
Oh field addition? That’s just the abelian operation between the group of non-1 elements. Oh a group? That’s just a monoid with inverses. Oh a monoid? That’s just a semigroup with identity. Oh a semigroup? That’s just a set with an associative binary operation. Oh a binary operation? That’s