1. Noun. (set theory) A set with certain openness and completeness properties. ¹
¹ Source: wiktionary.com