Definition 8.11.2 (Space of Bounded Linear Maps). Let $E, F$ be TVSs over $K \in \RC$, $\mathfrak{S}\subset 2^{E}$ be an upward-directed system, and $k \in \nat$. The space $B_{\mathfrak{S}}^{k}(E; F)$ is the set of all $k$-linear maps $T: E^{k} \to F$ with $T(S^{k}) \in B(F)$ for all $S \in \mathfrak{S}$, equipped with the $\bracsn{S^k| S \in \mathfrak{S}}$-uniform topology.