Definition:Normal Closure of Subset of Group