aliryhmäjonojen määritelmiä tarkennettu