Remote points and the like in pointfree topology

A point p of β, where X is a Tychonoff space, is called a remote point if for any nowhere dense D ⊆, X, p ∉ cl_βx D. A subset S of X is called round if whenever the closure in βX of a zero-set of X contains S, then it is a neighborhood of S. The purpose of this paper is to study these notions in the pointfree context. In the process, we introduce N-homomorphisms and show how the Stone extension of an N-homomorphism transfers remote points back and forth.