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