add some comment
rename NormalSet & InteratedSet