Relational Systems Interiors and Closures Upper and Lower Bounds Maxima and Minima
Institute of Mathematics and Informatics Bulgarian Academy of Sciences
Serdica Mathematical Journal, Vol. 29, No 3, (2003), 239p-270p
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.