θετική συνάρτηση για την οποία ισχύει
για κάθε
.Για δύο σημεία
λέμε ότι το
είναι προσβάσιμο από το
αν
. Να αποδειχθεί ότι για δύο τυχόντα σημεία
μπορεί κανείς ξεκινώντας από το
να φτάσει στο
, μέσω μιας πεπερασμένης ακολουθίας από διαδοχικώς προσβάσιμα σημεία. Δηλαδή υπάρχουν
ώστε 
