Assertion: set's number | /r/CapableOf | assign defined finite location
Facets:
value: in an ordered set
type: OTHER
Source sentences:
text: However, such finite binary representation is only possible if S can be enumerated (this is possible even if S has an infinite cardinality, such as the set of integers or rationals, but not for example if S is the set of real numbers, in which we cannot enumerate all irrational numbers to assign them a defined finite location in an ordered set containing all irrational numbers).