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 ,?