Nachbarschaftsordnung

Einfache Sprache

Die Nachbarschaftsordnung erhält man wenn man eine Striktordnung auf unmittelbar benachbarte Abhängigkeiten reduziert.

Def. Nachbarschaftsordnung

Gegeben eine Striktordnung $\prec$ ist die dazugehörige Nachbarschaftsordnung $\prec_N$ wie folgt definiert:

$$a_1 \prec_N a_2 \iff a_1 \prec a_2 \land \not\exists a_3: a_1\prec a_3 \prec a_2$$