Відношення ~ \overline називається доповненням до відношення ~R, якщо воно виконується для тих, і лише тих кортежів, для яких не виконується відношення R. Тобто, якщо розглядати бінарне відношення як підмножину декартового добутку R \subset X \times Y, то доповнення до відношення буде доповненням цієї підмножини до декартового добутку.
