Definition
bitopological space (X,τ,τ*)がjoincompactであるとは(X,τ∨τ*)がquasi compactかつT0で、さらに任意の点x,yについてxが{y}のτ*-closureに属しているときはyが{x}のτ-closureに属しており、またxが{y}のτ*-closureに属していないときはτの元Tとτ*の元T*によってxとyを分離できること。
Reference
R. Kopperman, On storage of topological information, Disc. Appl. Math. 147