Allow infinite subgroups

Now, a subgroup may contain another subgroup.