n. a set endowed with a metric; this induces a topology on the set in which Ω is open if and only if for all x in Ω, there is a positive ɛ such that the open ball B_ɛ(x) is contained in Ω.