Nachbar (Mathematik)

Ein Element a einer geordneten Menge (M, <) heißt unterer Nachbar von b ∊ M, wenn a < b gilt und es kein c ∊ M gibt mit a < c < b. Analog wird der Begriff oberer Nachbar definiert. Ein oberer Nachbar von b ∊ M heißt auch unmittelbarer