Доповнення до відношення

Відношення $\bar{R}$ називається доповненням до відношення $R$, якщо воно виконується для тих, і лише тих кортежів, для яких не виконується відношення $R$.

Тобто, якщо розглядати бінарне відношення як підмножину декартового добутку $R\subset X\times Y$, то доповнення до відношення буде доповненням цієї підмножини до декартового добутку:

$\bar{R}=(X\times Y)\setminus R$

Дивись також

• Доповнення множин

Посилання

1. Шаблон:Cite book