1 reflexivity-that is, every element A in the set has aRa.
2 symmetry-that is, for any element ARB in the set, ARB holds if and only if bRa holds.
3 transitivity-that is, for any element abc in the set, if aRb and bRc hold, then aRc must hold.