Ontify
Hausdorff topological vector space for which every barrelled set in the space is a neighborhood for 0.
Wikidata