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