(mathematics, logic) such that the arguments or roles can be interchanged