Transitive, symmetric, and reflexive relations