Дачыненне (матэматыка)

Дачыне́нне — падмноства канечнай дэкартавай ступені  пэўнага мноства A, г.зн. падмноства ўпарадкаваных -ак  з элементаў мноства .

Дачыненне  называецца -месцавым (або -арным) дачыненнем у мностве .

Лік  называюць рангам, або тыпам дачынення .

Запіс  азначае, што .

Аднамесцавыя дачыненні называюцца ўласцівасцямі, двухмесцавыя — бінарнымі дачыненнямі, а трохмесцавыя — тэрнарнымі.

Мноства  называюць універсальным (або ўсеагульным) дачыненнем рангу  у мностве .

Пустое мноства  называецца нуль-дачыненнем.

Дыяганаль мноства , г.зн. мноства  называецца дачыненнем роўнасці ў мностве.

-месцавае дачыненне  у  называецца функцыянальным, калі для адвольных элементаў  мноства  з таго, што
 і , вынікае роўнасць .

 Абагульненні 
Часам -месцавае дачыненне азначаюць як падмноства дэкартава здабытку  , дзе мноствы  , увогуле кажучы, розныя.

Такое абагульненне асабліва карысна пры тэарэтычным апісанні баз даных.

 Гл. таксама 
 Бінарнае дачыненне
 Дачыненне парадку
 Дачыненне эквівалентнасці
 Адпаведнасць

 Зноскі 

Катэгорыя:Тэорыя мностваў