Дачыненне парадку: Розніца паміж версіямі
[недагледжаная версія] | [недагледжаная версія] |
Змесціва выдалена Змесціва дададзена
др r2.7.1) (робат дадаў: ca:Conjunt parcialment ordenat |
др clean up, replaced: {{*|а}} → а{{subst:націск}} (2), {{*|і}} → і{{subst:націск}} using AWB (7893) |
||
Радок 1:
{{вызнч|1=
Фармальна ўпарадкаванасць вызначаецца як адносіна, якая з’яўляецца [[транзітыўная адносіна|транзітыўнай]] (<math>\forall x,y,z : R(x,y), R(y,z) => R(x,z)</math>) і [[антысіметрычная адносіна|антысіметрычнай]] (<math>\forall x,y : R(x,y) => \lnot R(y,x)</math>). Любая адносіна, што валодае гэтымі характарыстыкамі, з’яўляецца адносінай парадку.
|