Verband/Algebraisch/Ordnung/Definition

Zugehörige Ordnung (Verband)

In einem algebraischen Verband ${}(M,\sqcap ,\sqcup )$ nennt man die durch

${}y\geq x\,,$

falls

${}x\sqcap y=x\,,$

definierte Ordnung, die zugehörige Ordnung.