Ireflexivní relace
V matematice se binární relace R na množině X nazývá ireflexivní, právě když pro každé a z množiny X platí, že a není v relaci s a.
Formálně zapsáno:
- nebo
Příkladem ireflexivní relace je relace „je ostře větší než“ (<).
Je-li ireflexivní relace také tranzitivní a silně antisymetrická, nazýváme ji ostré uspořádání.
Ireflexivní relace mohou být nazývány také areflexivní nebo antireflexivní.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.