On Rough Relations: An Alternative Formulation

Abstract

Another formulation of the notion of rough relations is presented. Instead of using two equivalence relations on two universes, or a joint equivalence relation on their Cartesian product, we start from specific classes of binary relations obeying certain properties. The chosen class of relations is a subsystem of all binary relations and represents relations we are interested. An arbitrary relation is approximated by a pair of relations in the chosen class.