> 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). -- Eric Botcazou
