开集：每一点都是内点;