orthocompact

Last-modified: 2010-07-23 (金) 13:22:43

Definition

Every open cover has an interior-preserving open refinement.

Remark

cf. κ-orthocompact, suborthocompact, weakly suborthocompact, weakly κ-suborthocompact

Reference

P. Fletcher and W.F. Lindgren, Quasi-uniform Spaces, Marcel Dekker (1982).