Borel set
がすべてのボレル集合について成立するものとする。 を単集合 } とし、上述の等式を使うことで