Assertion: cover's refinement | /r/HasProperty | new cover
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,