Normal closure of finite subset