Set of mappings/Properties of composition/Example

Let be a set, and let

be the set of all mappings from to itself. The composition of mappings gives a binary operation on , which is associative, due to fact. In general, it is not commutative. The identity on is the neutral element. A mapping has an inverse element if and only if it is bijective; the inverse element is just the inverse mapping.