It was first given as a formal definition by Bernard Bolzano in 1817, and the definitive modern statement was ultimately provided by Karl Weierstrass.
Poprvé byla formalizována Bernardem Bolzanem v roce 1817 a definitivní moderní znění nakonec poskytl Karl Weierstrass.