Negative Transitivität

Die negative Transitivität einer zweistelligen Relation ${\displaystyle R}$ auf einer Menge ist gegeben, wenn gilt:

${\displaystyle \forall x,y,z:\neg xRy\land \neg yRz\Rightarrow \neg xRz.}$

Strenge schwache Ordnungen erfüllen die negative Transitivität.