これはformula_8と表される-可測関数で、任意の-可測集合について