A form of closure to complete the symmetric properties of a relation. See discrete mathematics.
Log in or register to write something here or to contact authors.