波莱尔集，在一个拓扑空间中，从所有的开集出发，通过取补集，可数并，可数交等运算，构造出来的所有集合，统称为这一个空间中的波莱尔集。