... cardinals are those ordinals κ such that no earlier ordinal has the same car-dinality as κ. The finite cardinals are 0, 1, 2, ;andωis the smallest in nitecardinal;(iii) the cardinality of a set A, ... written |A| , is that (unique) cardinal κ such that A andκ have the same cardinality;(iv) |A| ·|B|= |A B|[= max( |A| , |B|) if either is in nite and A, B = ∅] .A B=∅⇒ |A| +|B|= |A B| [= max( |A| , |B|) ... CompleteLattices,EquivalenceRelations,andAlgebraicLattices 17§5. ClosureOperators 20II The Elements of Universal Algebra 25§1. DefinitionandExamplesofAlgebras 25§2. Isomorphic Algebras, and Subalgebras...