巴拿赫空间
一个完备拟赋范向量空间被称为拟巴拿赫空间。