Relation and topology. -- Neighbor element structure and convergence in relations (Q1341114)

By considering a binary relation \(R\) between two sets \(X\) and \(L\), some of their topological properties are obtained from the triad \((X, L, R)\). The right adjoint relation \(R^*\), the left adjoint relation \(R_*\) and the dually negative relation \(R^\theta\) of \(R\) are defined. \(R\)- neighbour element system, \(R\)-neighbour element structure, \(R\)-distant element system and \(R\)-distant element structure are introduced. Considering \((L, R^*)\) a complete lattice, the relations between the neighbour element system and the open element system and between the distant element system and the closed element system are discussed. Also examined is the rising of neighbour element structure and distant element structure on the complete lattice \((L,R^*)\). The convergence in relation of nets in \(X\) and in \(L\) is studied. The case where \(R\) is a neighbourhood relation is focused on, as well as the case where \(R\) is a distant relation. The ordinary neighbourhood and the fuzzy neighbourhood can be described by means of the neighbourhood relation. It is shown that by using the dually negative relation of \(R\) we can construct a distant element structure from a neighbour element structure and vice versa. And finally the connection with general topology, fuzzy topology, topological molecular lattice and latticized topology is established.