barrelled space
Hausdorff topological vector space for which every barrelled set in the space is a neighborhood for 0
en-GB/ˈbæɹəld ˈspeɪs/
en-US/ˈbæɹəlɪd ˈspeɪs/
Hausdorff topological vector space for which every barrelled set in the space is a neighborhood for 0