The question is fairly dry: Is there any semigroup analogue of Lagrange's theorem for groups (counting as a generalization of the latter)? Let me guess the answer: Obviously yes. So the real question is: Any reference? Thank you in advance.