If we say that G is a group under *, and k is assume to be a subset, in order to prove that k is a subgroup, we need to find the closure, ID, and inverse.....
My quetion for closure is, do we let for example the elements and then show that ,
Id=e. then ,?