D’abord nous définissons les ensembles de Cantor généralisés. Soient k1, k2 , … des nombres entiers supérieurs à 1 et soient p1, p2 , … des nombres finis quelconques également supérieurs à 1. On pose lq =l/(kqpq ). Soit I un intervalle de longueur d > 0. On enlève de I (kq — l) intervalles de même longueur tels qu’il reste kq intervalles de même longueur lqd. On appelle cette opération la q-opération appliquée à I. On commence par appliquer l’1-opération à [0,1], on applique la 2-opération à chacun des intervalles
qui restent, puis on applique la 3-opération à chacun des intervalles 
qui restent, et ainsi de suite. On appellera l’ensemble limite restant un ensemble de Cantor généralisé dans E 1 et le notera F = F(kq, pq). Notre définition dans En = {(x 1, …, xn )}, l’espace euclidien à n dimensions (n ≧ 2), est la suivante: Soit
un ensemble de Cantor généralisé défini sur l’axe de xj ; nous appellerons l’ensemble produit F = F1 × … × Fn un ensemble de Cantor généralisé dans En (n ≧ 2). II sera appelé symétrique si F1 = … =Fn .