Når inneholder element og inneholder , vil produktgruppen inneholde ⋅ element. Det er derfor dens orden. Det direkte produktet kan utvides på tilsvarende måte slik at det kombinerer et vilkårlig antall grupper.