最適化理論において、主問題の最小値が双対問題の最大値と一致する性質を何というか。

特定の条件下(スレーター条件など)で、主問題と双対問題の最適値が一致します。