A form of closure to complete the symmetric properties of a relation. See discrete mathematics.

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