Let \(A\)  now be the intersection of a decreasing sequence \((A_t)_{t\in T}\)  of quasiclosed sets.
In view of the fact that a countable intersection of quasiclosed sets is likewise quasiclosed
[1]}, the proof of (REF ) and (REF ) is essentially the same as above, the only difference being in that of (REF ). Noting that for each \(t\) , the cone \(\mathcal {E}^+_{A_t}\)  is strongly closed (Lemma REF ), we obtain \(\gamma \in \mathcal {E}^+_{A_t}\)  (cf. above), which means that \((A_t)^c\)  is locally \(\gamma \) -negligible.
Being thus a countable union of locally \(\gamma \) -negligible sets, \(A^c\)  is likewise locally \(\gamma \) -negligible [2]}, which proves (REF ).
