operation is right-distributive over if, given any elements of
*and the operation is distributive over if it is left- and right-distributive.

When is commutative, the three conditions above are logically equivalent.

Meaning

The operators used for examples in this section are those of the usual addition and multiplication

If the operation denoted