Definition:Normal Closure of Subgroup