Considerando S´ ⊂ S donde S es un semigrupo con la operación º, diremos que S´ es un subsemigrupo si xºy está en S´ para cualesquiera x, y elementos de S´.