Definition
A space X is subcompact if there is a base B for the open sets of X (which is called a subcompact base) such that for every subfamily F of B, if F is a regular filter base, then it has a nonempty intersection.
Reference
- H. Bennett and D. J. Lutzer, Strong completeness properties in topology, Questions and Answers in General Topology, 27(2009), 107-124.
- http://www.math.wm.edu/~lutzer/drafts/BigBushes.pdf (preprint)