可測函數來源與目標各固定sigma代數時，函數可測表示每個目標可測集的逆像皆在來源sigma代數。atlas-measurable-function · canonical_mko可測函數前置節點σ-代數與測度空間函數映射集合運算