Un demi-groupe de transformations est un couple (X, S), où X est un ensemble, et S est un demi-groupe de transformations sur X.
Un demi-groupe de transformations est un couple ( X , S ) , où X est un ensemble , et S est un demi-groupe de transformations sur X .