乘積不變性(product invariance)在乘積運算下保持不變的拓撲性質.設屍表示某個拓撲性質,若當每個坐標空間Xa(aED)具有性質P時,積空間也具有性質P,則稱性質屍為乘積不變性或可積性.例如,豪斯多夫分離性是乘積不變性,連通性和緊性也是乘積不變性.對有限個坐標空間具有的乘積不變性稱為有限可積性.對可數個坐標空間具有的乘積不變性稱為可數可積性.度量空間、第一可數空間、第二可數空間、可分空間等都具有可數可積J睦.正規空間、林德勒夫空間不具有可積性.