Assertion: set | /r/HasProperty | one of its points
Facets:
Source sentences:
text: For example, if the set is the real line and x is one of its points, then the family of sets that include x in their interior is a filter, called the filter of neighbourhoods of x.