allgemein ein Begriff, der die Verträglichkeit zweier Objekte miteinander bezeichnet.

Ist beispielsweise die Menge M mit einer Partialordnung „≤“ versehen, so spricht man von Kompatibilität der Elemente x, y ∈ M genau dann, wenn es ein Element z ∈ M mit z ≤ x und z ≤ y gibt.