A subset of a group, such that the restricted operation makes the set still a Group