Eric Botcazou wrote: >> Yes, fair enough; but properties can commute just as much as operators >> can (although it's perhaps less intuitively surprising when they don't). > > To be picky, binary operators are commutative (or not), binary relations are > symmetric (or not).
Ah, I wasn't aware of the subtleties of the terminology, thanks for pointing it out. cheers, DaveK