Last-modified: 2010-07-23 (金) 13:28:48
A topological space X is called suborthocompact if for each open cover U, there exists a sequence V_n of open refinements of U such that for each x in X, there exists some n such that the union of all the member of V_n containing x is a neighborhood of x.
N. Kemoto, Y. Yajima, Orthocompactness in infinite product spaces, Proc. Amer. Math. Soc. Vol.120 No.2 (1994)