UPPER AND LOWER BOUNDS IN RELATOR SPACES

Abstract

Abstract. An ordered pair X (R) = (X, R) consisting of a nonvoid set X and a nonvoid family R of binary relations on X is called a relator space. Relator spaces are straightforward generalizations not only of uniform spaces, but also of ordered sets. Therefore, in a relator space we can naturally define not only some topological notions, but also some order theoretic ones. It turns out that these two, apparently quite different, types of notions are closely related to each other through complementations. 1. Introduction. A