User:KBlott/Definition

$\in$    $\implies$     $U^I$      $U_Z$ Relative cardinality Average cardinality An almost empty class CC Monoid (still requires work) Semiclass (still requires work) Boolean algebra Universe

Universal Algebra
Commutative semigroup with respect to $\thickapprox$ (requires more work) Semilattices (requires more work) Lattice (requires more work)