Dear Forum, I would be grateful if someone could tell me if there is in GAP an easy way to check if a 10-elements semigroup of transformations S can be embedded in an 11-elements semigroup of transformations T. I thank in advance, Joao