Penutupan normal (teori grup)