Assertion: infinite sequence | /r/HasProperty | character
Facets:
Source sentences:
text: Infinite binary sequences, for instance, are infinite sequences of bits (characters drawn from the alphabet {0, 1}).