Suppose that N is a normal subgroup of a group ⁠ G ⁠, and G / N = { g N ∣ ∣ g ∈ ∈ G } denotes its set of cosets. Then there is a unique group law on G / N for which the map G → → G / N sending each element g to g N is a homomorphism. Explicitly, the product of two cosets g N and h N is ⁠ ( g h ) N ⁠, the coset e N = N serves as the identity of ⁠ G / N ⁠, and the inverse of g N in the quotient group is ⁠ ( g N ) − − 1 = ( g − − 1 ) N ⁠. The group ⁠ G / N ⁠, read as " ⁠ G ⁠ modulo ⁠ N ⁠ ", is called a quotient group or factor group. The quotient group can alternatively be characterized by a universal property.