• Korean Journal of Mathematics
• /
• v.16 no.3
• /
• pp.379-388
• /
• 2008

We introduce countably strong inclusions ${\triangleleft}=({\triangleleft}_1,\;{\triangleleft}_2)$ on a biframe $L=(L_0,\;L_1,\;L_2)$ and i-strongly regular ${\sigma}$-ideals (i =1, 2) and then using them, we construct biframe $Lindel{\ddot{o}}fication$ of L. Furthermore, we obtain a sufficient condition for which L has a unique countably strong inclusion.

• Kyungpook Mathematical Journal
• /
• v.46 no.2
• /
• pp.189-200
• /
• 2006

The semicontinuous quasi-uniformity is known to be one of the most important examples of transitive quasi-uniformities. The aim of this paper is to show that various facts in classical topology connected with the semicontinuous quasi-uniformity and semicontinuous real functions may be easily extended to pointfree topology via a construction introduced by the authors in a previous paper. Several consequences are derived.