关于Locale的T_2特征

Hausdorffness on Locale

首先对Locale的两种关于有点式T2特征作出了完整的比较．其次通过引入一种关系“”（称之为weakwellinside），给出了一种合理的无点locale的T2定义，并证明了在空间式条件下其与有点式T2性刻划是等价的．

Gives a valid definition of pointless T2 on Locale by introducing the relation '' and the relationship between it and T2 separation axiom in are discussed.