Адносіна

З Вікіпедыя.

Перайсці да: рух, знайсці

Адно́сіна - гэта тая ці іншая сувязь між мноствамі.

Фармальна адносіна між мноствамі вызначаецца як падмноства ад іх простага здабытка. Напрыклад, простым здабыткам мностваў мужчын і жанчын з'яўляецца мноства ўсіх магчымых пар мужчын і жанчын. Падмноства ад мноства гэтых пар складае мноства шлюбных пар. Такім чынам, адносіна «шлюб» між мужчынай і жанчынай з'яўляецца падмноствам простага здабытку мностваў мужчын і жанчын.

Колькасць мностваў, на якіх будуецца адносіна, называецца арнасцю. У агульным выпадку, адносіна між n мноствамі з'яўляецца n-арнай. Адносіна між дзвюма мноствамі называецца бінарнай адносінай, між трыма - тэрнарнай і г.д.

Найбольш агульным варыянтам абазначэння n-арнай адносіны R між мноствамі A1, A2, ... , An з'яўляецца запіс

R(A1, A2, ... , An)

Факт наяўнасці адносіны між пэўнымі элементамі гэтых мностваў можна абазначыць падобным чынам:

R(a1, a2, ... , an)

Гэта значыць, што

(a_1, a_2, ... , a_n) \in R

У алгебры адносінай двух лікаў або велічынь называюць іх дзель.