Modifications of relators (Q1271947)

A relator \(\mathbf R\) on the set \(X\) is defined to be a family of binary relations on the set \(X\). The ordered pair \(X({\mathbf R})=(X,{\mathbf R})\) is said to be a relator space. Various basic concepts are defined for relators and some theorems concerning the relationships and connections between the defined concepts are proved. In a separate section the following modifications of relators are discussed and corresponding theorems are proved: \(\bullet\) The preorder modification of relators \(\bullet\) The quasi-uniform modification of relators \(\bullet\) The quasi-proximal modification of relators \(\bullet\) The quasi-topological modification of relators \(\bullet\) The quasi-paratopological modification of relators. The paper is an attempt to find an integrated theory of relational structures for the generalization of various order relations on a given set.