Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Relace
- Vlastnosti relací
- Reflexivní relace: pro každé x z A platí x R x
- Symetrická relace: pro každá x, y z A platí: pokud x R y, pak y R x
- Tranzitivní relace: pro každá tři x, y, z z A platí: pokud x R y a y R z, pak x R z
- Nesymetrická relace: existuje alespoň jedna dvojice x, y z A taková, že x R y, ale ne y R x (opak symetričnosti)
- Antisymetrická relace: pro každé x, y z A platí: pokud x R y a y R x, pak x = y
- Asymetrická relace: pro každé x, y z A platí: pokud x R y, pak není y R x
- Úplná relace: pro každá dvě x, y z A je buď x R y, nebo y R x
- Slabě úplná relace: pro každá dvě různá x, y z A je buď x R y, nebo y R x
- Ekvivalence a uspořádání
- Ekvivalence – relace, která je reflexivní, symetrická a tranzitivní
- Kvaziuspořádání – relace, která je reflexivní a tranzitivní
- Částečné uspořádání – relace, která je reflexivní, tranzitivní a antisymetrická
- Slabé uspořádání – relace, která je reflexivní, tranzitivní a úplná
- (Úplné) uspořádání – relace, která je reflexivní, tranzitivní, antisymetrická a úplná
- Ostré částečné uspořádání – relace, která je tranzitivní a antisymetrická
- Ostré slabé uspořádání – relace, která je tranzitivní a úplná
- Ostré (úplné) uspořádání – relace, která je tranzitivní, antisymetrická a úplná
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement