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
D135: Singleton set
Results
R4189
R1839: Cardinality of power set of a finite set
R1846: Cardinality of set complement
R1851: Cardinality of set of permutations on finite set
R1854: Cardinality of the set of injections between finite sets
R1856: Cardinality of the set of maps between finite sets
R5094: Number of boolean functions on a boolean cartesian product
R4314: Number of boolean functions on a finite set
R4800: Number of injections from a finite set to itself
R4188: Set cardinality in terms of finite ambient set
R5093: Total number of fixed-length sequences using a given number of labels