A subset H of the group G is a subgroup of G if and only if it is nonempty and closed under products and inverses.
O submulțime H a grupului G este subgrup al lui G dacă și numai dacă este nevidă și închisă în raport cu produsul și inversa.