Assertion: set's size | /r/HasProperty | cardinality
Facets:
Source sentences:
text: Every infinite set which can be enumerated by natural numbers is the same size (cardinality) as N, and is said to be countable.