Another property needed to derive associativity.