Poröse Menge

Eine Teilmenge E eines metrischen Raums (X,d) heißt porös, wenn es eine Konstante c ∈ (0,1) gibt, sodass für jeden Punkt x ∈ E und für alle hinreichend kleinen Radien r > 0 ein Punkt y existiert mit der offenen Kugel B(y, c r) ⊂ B(x, r) \ E; anschaulich bedeutet dies, dass E auf allen kleinen Skalen Löcher relativer Radius mindestens c besitzt.