Banach space
バナッハ空間の構成とは異なり、合併