如果向量格X同时是巴拿赫空间，且序和范数之间有关系：|xl≤ly|推出‖x‖≤‖y‖(x,y∈X)，则称X为格序巴拿赫空间或巴拿赫格。