波尔查诺-魏尔斯特拉斯选择原理

• Bolzano-Weierstrass selection principle