In topology, a branch of mathematics, a subset of a topological space is said to be locally closed if any of the following equivalent conditions are satisfied:[1][2][3][4]
The second condition justifies the terminology locally closed and is Bourbaki's definition of locally closed.[1] To see the second condition implies the third, use the facts that for subsets is closed in if and only if and that for a subset and an open subset