Commutative Semigroup is Entropic Structure

Theorem
A commutative semigroup is an entropic structure.

Proof
Let $\struct {S, \circ}$ be a commutative semigroup.

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

Then: