LF空間
LF-空間の間の連続線型な全射 T: E → F は開である。