What is binary relation? Write down the properties of binary relation.

            A binary relation is a set of pairs, the first component of each pair is chosen from a set called the domain and the second component of each pair is chosen from a ( possibly different) set called the range.

Properties of binary relation

A relation R on set S is,

            1) Reflexive, if aRa for all a in S;

            2) Irreflexive, if aRa is false for all a in S;

            3) Transitive, if aRb and bRc imply aRc;

            4) Symmetric if aRb implies bRa;

            5) Asymmetric if aRb implies that bRa is false;