Cardinality is a measure of the number of elements in a set: finite sets have a natural finite cardinal, infinite sets are compared by the existence of bijections (same cardinality) or injections/surjections (≤ relation).

Principle

Two sets have the same cardinality if there exists a bijection between them; injections and surjections give a partial order on cardinalities; Cantor’s theorem shows the power set has strictly larger cardinality than the original set.

Demonstration

Finite example: {a,b,c} has cardinality 3. Countable example: the set of integers and the set of even integers are in bijection, both countably infinite. Uncountable example: real numbers have strictly larger cardinality than naturals.

Misapplication

Treating infinite sets as if they obey finite intuition (e.g., assuming a proper subset must have smaller cardinality), or conflating measure-theoretic 'size' with cardinality.

Consequence

Cardinality classifies sets into finite, countable, and various uncountable sizes (alephs, continuum); it constrains possible bijections and informs existence/nonexistence results across mathematics, with consequences depending on choice axioms (e.g., AC).

Reversal

Opposite perspective emphasizes measure or probability size: a set can be uncountable yet have measure zero; cardinality ignores metric or measure structure and records only combinatorial size.

Boundary

Pertinent to pure set size; cardinal arithmetic (sums, products, exponentiation) has surprising behaviours in infinite cases and can depend on set-theoretic axioms; cardinality does not capture topology, measure, or structure.

Semantic Tension

Competes with notions of 'measure', 'dimension', and 'density' — cardinality is coarse combinatorial size, while measure/dimension capture geometric or probabilistic magnitude and behave differently for infinite sets.

Synthesis

Cardinality is the combinatorial count of elements of a set: a fundamental classification into finite and infinite sizes determined by bijections, central to set theory and foundational distinctions among infinities but orthogonal to metric or measure notions.