*Definition [#fdddfce0]
-A bitopological space (X, τ, μ) is called bicompact, if each [[bicovering]] of it contains a finite [[τμ-open covering]].

*Reference [#j2c1069a]
-Adnadjević, D.(Adnadzhevich, D.), ''Bicompactness of bitopological spaces.'', (English)[J] J. Sov. Math. 37, 1059-1063 (1987).