No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
Un demi-groupe d'applications d'un ensemble est dit séparateur si, pour tout triple d'éléments x, y, z de l'ensemble, avec x ≠ y, il existe une application α du demi-groupe telle que x.α ≠ z et y α ≠ z. Un tel demi-groupe d'applications est évidemment transitif. Tout demi-groupe isomorphe à un demigroupe séparateur d'applications est dit un demi-groupe séparateur.