Composition of Commuting Idempotent Mappings is Idempotent/Proof 2

Proof
By Set of all Self-Maps under Composition forms Semigroup, the set of all self-maps on $S$ forms a semigroup under composition.

The result follows from Product of Commuting Idempotent Elements is Idempotent.