A form of closure to complete the reflexive property of a relation.
Log in or register to write something here or to contact authors.