Scott-topology based on transitive binary relation

Abstract

In the study of partially ordered sets, topologies such as Scott-topology have shown to be of paramount importance. In order to have analogous topology-like tools in the more general setting of quantitative domains, we introduce a method to construct Scotttopology on a set equipped with a transitive binary relation which we call t-set. As an application of this result there is a Scott-topology associated to any topology induced by its specialization pre-ordered relation. Some relations between this topology and the original topology are investigated.

Keywords

• scott-topology
• directed topology
• t-set