ThmDex – An index of mathematical definitions, results, and conjectures.

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