Can i use this definition to prove a set with an operator a group?

yes, this is defination of subgroup if we want to check a non empty subset of a group is subgroup of G....then we have to check a,b€H => ab^-1 €H