Definition
- A topological space X is called monotonically orthocompact provided that there is an operator T: E →S from the set E of all open covers of X to the set S of all transitive neighbornets of X such that whenever and C is a refinement of D , and such that refines ff whenever C in E
Reference
- Junnila, Heikki J.K. and Künzi, Hans-Peter A., Ortho-bases and monotonic properties.,[J] Proc. Am. Math. Soc. 119, No.4, 1335-1345 (1993).