Processing math: 100%

Set cardinality

Set

context X … set
definiendum |X|≡inf{α | α∈Ord ∧ α≈X}

Discussion

Reference

Wikipedia: Cardinal numbers, Cardinal assignment, Von Neumann cardinal assignment

Parents

Context

Non-strict partial order, Bijective function

Element of

Ordinal number

Link to graph
Log In
Improvements of the human condition
limeGraphxioms