On peut étendre un demi-groupe de transformations en un monoïde en lui ajoutant l'application identité sur X.
On peut étendre un demi-groupe de transformations en un monoïde en lui ajoutant l' application identité sur X.