Negative Transitivität

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

\forall x,y,z:\neg xRy\land \neg yRz\Rightarrow \neg xRz.

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.