Assertion: cover | /r/HasProperty | point
Facets:
Source sentences:
text: A cover of X is said to be point finite if every point of X is contained in only finitely many sets in the cover.