Cantor kümesi 

(Alm. Cantor-Menge, f; Fr. ensemble de Cantor, m; İng. Cantor set) 

mat. I(0) = [0, 1] kapalı aralığını üç eşit parçaya ayıran 1/3, 2/3 sayılarıyla sınırlanmış (1/3, 2/3) açık aralığını I(0)'dan çıkardıktan sonra elde edilen, u küme birleşme simgesi olmak üzere,  I(1) = [0, 1/3] u [2/3, 3/3] kümesine, I(1)'i oluşturan kapalı aralıkları üç eşit parçaya bölüp ortadaki açık aralıkları çıkararak elde edilen I(2) = [0, 1/9] u [2/9, 3/9] u [6/9, 7/9] u [8/9, 9/9] kümesine, I(2)'yi oluşturan kapalı aralıkları üç eşit parçaya bölüp ortadaki açık aralıkları çıkararak elde edilen I(3) = [0, 1/27] u [2/27, 3/27] u [6/27, 7/27] u [8/27, 9/27] u [18/27, 19/27] u [20/27, 21/27] u [24/27, 25/27] u [26/27, 27/27] kümesine ve bu şekilde devam ederek elde edilen I(4), I(5), ... kümelerinin hepsine ait olan gerçek sayılardan oluşan arakesit{n ?0} I(n) kümesi.

[0,1] kapalı aralığının önce ortasındaki üçte bir uzunluğundaki açık aralık sonra iki uçta kalan iki kapalı aralığın kendi ortalarındaki üçte birerlik açık aralıkları sonra geriye kalan dört kapalı aralığın kendi ortalarındaki üçte birerlik açık aralıkları atmak ve bu olguyu durmaksızın yinelemekle, sonunda [0,1] aralığından geriye kalacak olan yetkin, sayılamayan tümel bağlantısız ve Lebesgue Ölçümü sıfır olan küme.