Дачыне́нне — падмноства канечнай дэкартавай ступені пэўнага мноства A, г.зн. падмноства ўпарадкаваных -ак з элементаў мноства .
Дачыненне называецца -месцавым (або -арным) дачыненнем у мностве .
Лік называюць рангам, або тыпам дачынення .
Запіс азначае, што .
Аднамесцавыя дачыненні называюцца ўласцівасцямі, двухмесцавыя — бінарнымі дачыненнямі, а трохмесцавыя — тэрнарнымі.
Мноства называюць універсальным (або ўсеагульным) дачыненнем рангу у мностве .
Пустое мноства называецца нуль-дачыненнем.
Дыяганаль мноства , г.зн. мноства называецца дачыненнем роўнасці ў мностве.
-месцавае дачыненне у называецца функцыянальным, калі для адвольных элементаў мноства з таго, што і , вынікае роўнасць .
Абагульненні Часам -месцавае дачыненне азначаюць як падмноства дэкартава здабытку , дзе мноствы , увогуле кажучы, розныя.
Такое абагульненне асабліва карысна пры тэарэтычным апісанні баз даных.
Гл. таксама Бінарнае дачыненне Дачыненне парадку Дачыненне эквівалентнасці Адпаведнасць
Зноскі
Катэгорыя:Тэорыя мностваў