*Definition [#v5492e67]
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 [#m27606bc]
-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)