Continuity of Partially Ordered Soft Sets via Soft Scott Topology and Soft Sobrification

Abstract

This paper, based on the concept of partially ordered soft sets (possets, for short) which proposed by Tanay and Yaylali [23], we will give some other concepts which are developing the possets and helped us in obtaining a generalization of some important results in domain theory which has an important and central role in theoretical computer science. Moreover, We will establish some characterization theorems for continuity of possets by the technique of embedded soft bases and soft sobrification via soft Scott topology, stressing soft order properties of the soft Scott topology of possets and rich interplay between topological and soft order-theoretical aspects of possets. We will see that continuous possets are all embedded soft bases for continuous directed completely partially ordered soft set (i.e., soft domains), and vice versa. Thus, one can then deduce properties of continuous possets directly from the properties of continuous soft domains by treating them as embedded bases for continuous soft domains. We will see also that a posset is continuous if its soft Scott topology is a complete completely distributive soft lattice