双対位相
定理(マッキー(英語版)による): 双対組が与えられたとき、任意の双対位相の下での有界集合は等しい。
任意の双対位相の下で同一の集合は、樽型である。