pairwise compact

Definition

• A bitopological space (X,τ_1,τ_2) is pairwise compact if each pairwise open cover of the bitopological space (X,τ_1,τ_2) has a finite subcover.

Definition 2

• A bitopological space (X, τ_1, τ_2) is pairwise compact if the topological space (X, τ_1∨τ_2) is compact.

Reference

• Encyclopedia of general topology.Edited by Klaas Pieter Hart, Jun-iti Nagata and Jerry E.Vaughan. Elsevier Science Publishers, B.V., Amsterdam, 2004.