また、完全加法族 "m" の性質から、formula_20の任意の部分集合 "i" の可測関数 "f" による逆像 "f"-1("i")も "m" に属することも分かる。