Дачыненне парадку: Розніца паміж версіямі
[недагледжаная версія] | [недагледжаная версія] |
Змесціва выдалена Змесціва дададзена
др clean up, replaced: {{*|а}} → а{{subst:націск}} (2), {{*|і}} → і{{subst:націск}} using AWB (7893) |
др clean up, replaced: е у → е ў, {{вызн2|1=упарадкава́насць}} → '''упарадкава́насць''', {{вызнч|1=Адносі́на пара́дку}} → '''Адносі́на пар using AWB (7893) |
||
Радок 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>). Любая адносіна, што валодае гэтымі характарыстыкамі, з’яўляецца адносінай парадку.
|