The cardinality of a set is the equivalence class of sets equipotent (in bijection) to it; cardinality measures size up to bijection and distinguishes finite sizes and infinite sizes indexed by cardinals such as ℵ_0 or 2^{ℵ_0}.

Principle

Two sets have the same cardinality exactly when there exists a bijection between them; cardinal arithmetic and comparison (≤ via injections) extend this notion and yield invariants like alephs and the continuum, abstracting 'how many' independently of order or structure.

Demonstration

The set of natural numbers N has cardinality ℵ_0 because it bijects with any countably infinite set; the real numbers R have cardinality 2^{ℵ_0} (the continuum); finite sets have cardinality equal to their element count n ∈ N.

Misapplication

Confusing cardinality with order type or measure (Lebesgue measure) produces category errors, as two sets can have the same cardinality yet very different topological or measure-theoretic properties; likewise treating cardinality as an ordered magnitude with arithmetic like integers without context can mislead.

Consequence

Cardinality classifies sets by size up to bijection, enabling comparisons (equal, less-or-equal via injections, strictly less) and forming the basis for cardinal arithmetic, classification of infinities, and results on existence of sets of given cardinalities under set-theoretic assumptions.

Reversal

Instead of identifying sets by bijection classes, one can study order types, measures, or structural invariants that distinguish sets with the same cardinality; this reversal emphasizes additional structure beyond mere size.

Boundary

Applies to sets in ZF-style set theory and requires clarity about whether one works with pure sets, classes, or sets in a universe; cardinality ignores multiplicity in multisets, and cardinal arithmetic can depend on choice principles (e.g., AC affects comparability of cardinals).

Semantic Tension

Cardinality competes with intuitive notions of size from measure, topology, or computational complexity: cardinality is a coarse equivalence relation (bijection) that overlooks structure, so one must not conflate cardinal equivalence with stronger equivalences used in other fields.

Synthesis

Cardinality is the bijection-based measure of a set's size: use bijections to identify equal-cardinality classes, injections and surjections to compare sizes, and cardinal arithmetic (with attention to set-theoretic hypotheses) to reason about finite and infinite magnitudes.