# cardinality

Two sets have the same *cardinality* if there exists a bijection between them. Specifically, the cardinality of a set may be understood as a canonical object meant to represent the proper class of sets to which it is bijective. If the Axiom of Choice is assumed then the cardinality of a set is taken to be the unique cardinal number that is bijective to the set.