Табличное задание отношений

Если множества A и B являются конечными и A = {a₁,..., a_m}, B= {b₁, ... , b_n}, то всякое отношение r Í А B можно представить таблицей, состоящей из m строк и n столбцов, имеющей следующий вид:

В этой таблице значение всякого элемента s_i,_j определяется соотношением:

1, если (a_i, b_j)Îr

s_i,_j =

0, если (a_i, b_j)Ïr.

Всякая заполненная нулями и единицами таблица, состоящая из m строк и n столбцов, представляет некоторое отношение на множествах A и B, составленное из всех таких пар (a_i, b_j), для которых s_i,_j = 1.

Определенное соотношение таблиц и отношений на множествах является биективным. Табличное представление отношений удобно для программной реализации алгоритмов решения задач, связанных с отношениями.