# Banach lattice

In mathematics, specifically in functional analysis and order theory, a Banach lattice ${\displaystyle (X,\|\cdot \|)}$ is a Riesz space with a norm ${\displaystyle \|\cdot \|}$ such that ${\displaystyle (X,\|\cdot \|)}$ is a Banach space and for all ${\displaystyle x,y\in X}$ the implication ${\displaystyle |x|\leq |y|\Rightarrow \|x\|\leq \|y\|}$ holds, where as usual ${\displaystyle |x|:=x\vee -x}$.
• ${\displaystyle \mathbb {R} }$, together with its absolute value as a norm, is a Banach lattice.
• Let ${\displaystyle X}$ be a topological space, ${\displaystyle Y}$ a Banach lattice and ${\displaystyle {\mathcal {C}}(X,Y)}$ the space of bounded, continuous functions from ${\displaystyle X}$ to ${\displaystyle Y}$ with norm ${\displaystyle \|f\|_{\infty }:=\sup _{x\in X}\|f(x)\|_{Y}}$. ${\displaystyle {\mathcal {C}}(X,Y)}$ becomes a Banach lattice with the pointwise order ${\displaystyle f\leq g:\Leftrightarrow \forall x\in X:f(x)\leq g(x)}$.