Subgroup such that there is a finite chain of subgroups of the group, each one normal in the next, from the original subgroup to the entire group