countably bicompact

Definition

• A bitopological space (X, τ, μ) is called countably bicompact if each countable 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).