*Definition [#w3360747]
A topological space is called locally hypercompact if every point has a neighborhood base of [[hypercompact]] sets.
*Reference [#z70e629e]
Marcel Erne, ''Infinite distributive laws versus local connectedness and compactness properties'', Topology and its Applications 156 (2009) 2054-2069.