For , suppose with open and closed. Since , also . Therefore , showing that is relatively open in its closure.
For , write with open in . Then is an intersection of closed sets, hence closed in .
For , set and . The assumed condition makes open; is closed and . Thus the three conditions are equivalent. They characterize a locally closed subset.
We prove (iii)(i). If is closed in , set and . Then is open, is closed, and
Together the three implications prove the equivalence. These are the standard characterizations of a locally closed subset.