Линейное нормированное пространство

Пара $(X,|\cdot |)$ , где

• $X$ - линейное пространство
• $|\cdot |$ - Норма Называется линейным нормированным пространством