Definition
- A bitopological space (X, τ, μ) is called bicompact, if each bicovering of it contains a finite τμ-open covering.
Reference
- Adnadjević, D.(Adnadzhevich, D.), Bicompactness of bitopological spaces., (English)[J] J. Sov. Math. 37, 1059-1063 (1987).