Do you really want to send linux8086 a message saying you like their work?
A form of closure to complete the symmetric properties of a relation. See discrete mathematics.