komparativ (Logik)

in der Logik heißt eine zweistellige Relation R (−,−) rechtskomparativ (linkskomparativ), wenn aus R (x, z) und R (y, z) stets R (x, y) folgt beziehungsweise aus R (z, x) und R (z, y) R (x, y). Ist R (−,−) sowohl rechtskomparativ als auch linkskomparativ, so heißt R (−,−)