hypercompact

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

Definition

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

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