Distributive property
Definition

Given a set S {\displaystyle S} and two binary operators ∗ {\displaystyle \,*\,} and + {\displaystyle \,+\,} on S, {\displaystyle S,}

When ∗ {\displaystyle \,*\,} is commutative, the three conditions above are logically equivalent.
punctuation:no_comma