In set theory, an ordinal defines a canonical totally ordered set in which every set of ordinals has a least value, a property known as well-foundedness
In set theory, an ordinal defines a canonical totally ordered set in which every set of ordinals has a least value, a property known as well-foundedness