A subset H of a group (G,*) is a group if

• A. a ∈ H => a-1 ∈ H
• B. a,b ∈ H=> a * b ∈ H
• C. H contains the identity element
• D. a,b ∈ H=> a * b-1 ∈ H