Sehingga, untuk setiap \uE00028028\uE001 dalam domain, untuk setiap interval terbuka kecil \uE00028029\uE001 tentang \uE00028030\uE001, ada interval yang berisi \uE00028031\uE001 yang gambarnya ada di \uE00028032\uE001.