such that the terms of an expression cannot be interchanged without changing the meaning; the arguments of the symmetric relation, `is the father of', are noninterchangeable'