Definition:Conjugate Closure of Subset of Group