Originally prepared for the summer-semester 2017 LMU course; the consulted title page is dated 22 March 2024. Cited passages: sections 1.4–1.5, boundedness and seminorm/local convexity; section 3.1, Hahn-Banach separation. The existing topological-vector-space root already cites this primary text externally.