A subset H ⊆ G that is itself a group under G's operation. Lagrange: |H| divides |G| when G is finite.