Дачыненне парадку: Розніца паміж версіямі

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