(Mathematics or logic) Such that the terms of an expression cannot be interchanged without changing the meaning.