バナッハ空間
M をバナッハ空間 X の閉部分線型空間とすると、代数的な商空間 X / M は再びバナッハ空間を成す。