A non empty subset H of a group (G, *) is called a subgroup  of G if it is has following properties: Closure law: If a ϵ H and b ϵ H then a*b ϵ H Identity law: e ϵ H Inverse law: If a ϵ H then a-1 ϵ H