The composition of function is commutative.
The composition of function is associative.
Every function is invertible.
A binary operation on a set has always the identity element.