Definition:Conjugate of Group Subset