Sentence examples for binary relation on the from inspiring English sources
The original rough set model was developed by Pawlak, which is mainly concerned with the approximation of sets described by a single binary relation on the universe.
Thus the formula defines a binary relation on the integers, namely the set of pairs of integers that satisfy it.
Each role in the set (N_mathsf{R }={r,ldotsts }) is interpreted as a binary relation on the domain.
An equational theory as a set of pairs of terms amounts to a binary relation on the set of all terms.
It can be shown that a binary relation on the set of terms is an equational theory if and only if it is a substitutive congruence.
In our main theorems, we employ a binary relation on the metric space, which does not have to be a partial order.
Each concept is interpreted as a subset of the domain of interpretation (the set of instances of the concept), and each role can be interpreted as the binary relation on that domain (Sowa 2000).
Each concept is interpreted as a subset of the domain of interpretation (the set of instances of the concept), and each role can be interpreted as the binary relation on that domain (Levy 2000).
For simplicity, we denote (x, mathcal{S}, y) if ((x,y in mathcal{S}) (in some cases, we also use the symbol ≺ to denote a binary relation on X because the notation (xprec y) can be more usual for the reader).
We will use the symbol for a general binary relation on X, and the symbol ≼ for a reflexive binary relation on X (for instance, a preorder or a partial order).
