Conjunto Poroso

Un subconjunto E de un espacio métrico (X,d) es poroso si existe una constante c ∈ (0,1) tal que para todo punto x ∈ E y para todo radio suficientemente pequeño r > 0 existe un punto y con la bola abierta B(y, c r) contenida en B(x, r) \ E; intuitivamente E tiene agujeros de radio relativo al menos c en todas las escalas pequeñas alrededor de cada punto.