強双対性
強双対性が成立するための必要十分条件は、双対性のギャップ(英語版)が 0 に等しいことである。