A form of closure to complete the reflexive property of a relation.

Log in or register to write something here or to contact authors.