Definition:Open Set (Topology)