Definition: Dichte-Erreichbarkeit

Seien .

Wir bezeichnen als dichte-erreichbar von , wenn gilt:

Es gibt ein , so dass jeweils und jeweils direkt dichte-erreichbar sind.

Es handelt sich also um die transitive Hülle der direkten Dichte-Erreichbarkeit.