For , suppose with open and closed. Since , also . Therefore , showing that is relatively open in its closure.
For , set and . The assumed condition makes open; is closed and . Thus the three conditions are equivalent. They characterize a locally closed subset.