Assertion: infinite set | /r/HasProperty | countable
Facets:
Source sentences:
text: Recall that an infinite set is countable if it is bijectable, i.e., it can be put into a one-to-one correspondence, with \(\omega\).
text: Every infinite set which can be enumerated by natural numbers is the same size (cardinality) as N, and is said to be countable.