Definition Strong duality [lcc-002F]

Let L = (X,A,L) be a minmax problem. By Proposition [lcc-001W], there is a morphism (L^+)^- \to (L^-)^+. We say L satisfies strong duality if it is an isomorphism. (Note that this is really just an inequality of real numbers, which must be an equality).