Częściowy porządek: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m →Ostre i słabe porządki: drobne redakcyjne – LaTeX: \preccurlyeq zamiast \preceq |
m →Ostre i słabe porządki: "asymetryczna" -> "antysymetryczna" |
||
Linia 4:
== Ostre i słabe porządki ==
'''Słabymi porządkami częściowymi''' nazywane są relacje [[Relacja zwrotna|zwrotne]], [[Relacja przechodnia|przechodnie]] i [[Relacja antysymetryczna|antysymetryczne]], z kolei '''ostre porządki częściowe''' to relacje [[Relacja zwrotna|przeciwzwrotne]] i [[Relacja przechodnia|przechodnie]] (relacja przeciwzwrotna i przechodnia jest zarazem
Przypuścmy, że <math>\preccurlyeq</math> jest (słabym) porządkiem częściowym na zbiorze <math>X</math>. Wówczas relacja <math>\prec</math> na <math>X</math> zdefiniowana przez
|