*Definition [#i8dfc4e5]
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 [#i9b8e7f1]
Marcel Erne, ''Infinite distributive laws versus local connectedness and compactness properties'', Topology and its Applications 156 (2009) 2054-2069.