Ontify
Topological space in which from every countable open cover of the space, a finite cover can be extracted.
Wikidata