ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Transitive set
▼ Ordinal number
▼ Cardinal number
Definition D15
Set cardinality
Children
▶ Singleton set
Results
▶ R4189
▶ Cardinality of power set of a finite set
▶ Cardinality of set complement
▶ Cardinality of set of permutations on finite set
▶ Cardinality of the set of injections between finite sets
▶ Cardinality of the set of maps between finite sets
▶ Number of boolean functions on a boolean cartesian product
▶ Number of boolean functions on a finite set
▶ Number of injections from a finite set to itself
▶ Number of injections is proportional to number of subsets of given size
▶ Set cardinality in terms of finite ambient set
▶ Total number of fixed-length sequences using a given number of labels