Sonlu boyutlu bir Öklit uzayında, sınırlı, sonsuz her kümenin en az bir yığılma noktası olduğunu belirten sav.