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: