Commutative Semigroup is Entropic Structure

Theorem
A commutative semigroup is an entropic structure.

Proof
Let $\left({S, \circ}\right)$ be a commutative semigroup.

Let $a, b, c, d \in S$. Then: