Assertion: set's element | /r/HasProperty | injective sequences
Facets:
Source sentences:
text: However, since A is Dedekind-finite, then so is B (if B had a countably infinite subset, then using the fact that the elements of B are injective sequences, one could exhibit a countably infinite subset of A).