在都有最优解的情况下,
有 无穷多个最优解 等价于 无有限个最优解.
但,
有 无穷多个最优解,则至少有1个最优解.
而,
无有限个最优解,却可能连1个最优解也没有.
因此,
无穷多个最优解 -〉有且有无穷多个最优解；
无有限个最优解 -〉要么无最优解,要么有且有无穷多个最优解.