A more difficult proof using quantifiers.
Wikipedia Articles:
Reflexive Relation: https://en.wikipedia.org/wiki/Reflexive_relation
Symmetric Relation: https://en.wikipedia.org/wiki/Symmetric_relation
Transitive Relation: https://en.wikipedia.org/wiki/Transitive_relation
