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.