Assertion: sequence | /r/HasProperty | countable
Facets:
Source sentences:
text: Then in the criterion, the left hand side is always 1, whereas the right hand side is zero, because the sequence is countable, so f is zero almost everywhere.