Definition:Closed Set

A subset $$X$$ of a topological space $$Y$$ is closed if its complement relative to $Y$ is in the topology of $$Y$$.