subcompact

Last-modified: 2010-09-28 (火) 22:07:43

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