Bolzano-Weierstrass property

Etymology
Named after (1781–1848), a Bohemian mathematician, logician, philosopher, theologian and Catholic priest of Italian descent, and  (1815–1897), a German mathematician often cited as the "father of modern analysis".

Proper noun

 * 1)  The property held by some topological spaces that if a subset of such a space has an infinite quantity of points then the subset has at least one accumulation point.