Top > hypercompact


Last-modified: 2015-11-21 (土) 20:37:29

Definition Edit

A subset C of a topological space X is hypercompact iff there is a finite collection Y of open subsets such that the open sets not containing C are exactly those which are contained in some member of Y.

Reference Edit

Marcel Erne, Infinite distributive laws versus local connectedness and compactness properties, Topology and its Applications 156 (2009) 2054-2069.