Assertion: new cover | /r/HasProperty | d of x
Facets:
Source sentences:
text: A refinement of a cover C of a topological space X is a new cover D of X such that every set in D is contained in some set in C. Formally,