| 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 |