Right Distributivity
Given a Set $S$ and two binary operators $*$ and $+$ on $S$. If $\forall x, y, z \in S, (y + z) * x = (y * x) + (z * x)$, then $*$ is right-distributive.
Given a Set $S$ and two binary operators $*$ and $+$ on $S$. If $\forall x, y, z \in S, (y + z) * x = (y * x) + (z * x)$, then $*$ is right-distributive.