Let (fn ne N) and f be an extended real-valued measurable functions on a set DCR such that limn- fn = f on D. Then for every a ER measurable prove that: (i) {x D: f(x) > a} a} (ii) n {x D: f(x) < a}