pairwise T_1 in the sense of Reilly

Definition

• A bitopological space (X,τ,μ) is pairwise T_1 in the sense of Reilly (briefly R-p-T_1) if it is d-T_1, i.e. topological spaces (X,τ) and (X,μ) are T_1.

Property

• R-p-T_1 implies MN-p-T_0

Reference

• Reilly, Ivan L.,On bitopological separation properties.,Nanta Math. 5 (1972), no. 2, 14–25.