Ensemble Poreux

Un sous‑ensemble E d'un espace métrique (X,d) est poreux s'il existe une constante c ∈ (0,1) telle que pour tout point x ∈ E et pour tout rayon suffisamment petit r > 0 il existe un point y avec la boule ouverte B(y, c r) contenue dans B(x, r) \ E ; intuitivement E présente des trous de rayon relatif au moins c à toutes les petites échelles autour de chacun de ses points.