In functional analysis and related areas of mathematics a Brauner space is a complete compactly generated locally convex space X {\displaystyle X} having a sequence of compact sets K n {\displaystyle K_{n}} such that every other compact set T ⊆ X {\displaystyle T\subseteq X} is contained in some K n {\displaystyle K_{n}}. Wikipedia