(mathematics, logic) such that the arguments or roles can be interchanged
"the arguments of the symmetric relation, `is a sister of,' are interchangeable"
is similar to
having similarity in size, shape, and relative position of corresponding parts
domain category
the branch of philosophy that analyzes inference