No label defined (Q4937991)

A triple \((X,P,L)\), where \(P\) and \(L\) are topologies on the set \(X\), is said to be \(P\)-\(L\) Baire if each nonvoid \(P\)-open subset is \(L\)-\(P\)-second category in \(X\), i.e. is not at most a countable union of \(P\)-\(L\)-nowhere dense subsets of \(X\). A subset is \(P\)-\(L\)-nowhere dense if the \(L\) interior of its \(P\)-closure is empty. \((X,P,L)\) is pairwise Baire if it is both \(P\)-\(L\)- and \(L\)-\(P\)-Baire. The main result, in part, is the following: Theorem: \((X, P, L)\) is pairwise Baire if and only if the intersection of each sequence of \(L\)-open (\(P\)-open) \(P\)-dense (resp. \(L\)-dense) sets is \(P\)-dense (resp. \(L\)-dense). The bitopological concept is also used to characterize a class of real normed lattices with the property that each decreasing sequence of open dense sets has a dense intersection.