locally hypercompact

Definition

A topological space is called locally hypercompact if every point has a neighborhood base of hypercompact sets.

Reference

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