User:KBlott/Definition

User:KBlott/An alternative to set theory?

Universal Algebra
Definition:Semigroup with respect to an Equivalence Relation (Requires more work) Commutative semigroup with respect to $\thickapprox$ (requires more work) Semilattices (requires more work) Lattice (requires more work)