σ-代數與測度空間σ-代數含空集並對補集與可數聯集封閉；測度非負、空集為零且可數可加。atlas-sigma-algebra-measure-space · canonical_mkoσ-代數與測度空間前置節點集合集合運算函數映射數列量詞與明示論域實數