Ban/Fre space deal/bipolar/polar deal=coquot dual |
Ban/Fre space coquot=polar deal dual/polar coquot=deal dual/Hahn-Banach |
Ban/Fre space codeal=polar quot dual/polar codeal=quot dual |
Ban/Fre space quot/polar quot=codeal dual |
top vector space quot |
top vector space deal |