Closures:
Reflexive
Symmetric
Transitive
Predefined relations:
Relation