e/Shrinking space

Information
has gloss	eng: In mathematics, in the field of topology, a topological space is said to be a shrinking space if every open cover admits a shrinking. A shrinking of an open cover is another open cover indexed by the same indexing set, with the property that the closure of each open set in the shrinking lies inside the corresponding original open set.
lexicalization	eng: shrinking space
instance of	c/Properties of topological spaces