Satz von Bolzano-Weierstrass

In der Analysis kennt man den Auswahlsatz von Bolzano-Weiserstrass:

Jede beschränkte Zahlenfolge enthält mindestens eine konvergente Teilfolge.

Der Satz ist benannt nach den Mathematikern Bernard Bolzano und Karl Weierstrass.