Properties of Relations (Reflexivity, Symmetry, Transitivity)