当且仅当开集formula_43包含其中一点但不同时包含两者。这也就是formula_98和formula_99拓朴可区分的确实含意。也就是说，若formula_37是个formula_12空间，那就可以将formula_37给嵌入谢尔宾斯基空间的积空间中，在其中对于每个formula_37的开集formula_43而言，都有一个formula_1的复本与之对应。其嵌入函数可由下列函数得出：由于formula_12空间的子空间和积空间还是formula_12空间之故，因此一个拓朴空间是formula