Изменения
→Теорема о дополнении
Докажем от противного. Попробуем доказать, что данное утверждение неверно.
По определению: для того, чтобы доказать, что множественная зависимость отсутствует, необходимо взять <tex>Xx</tex>, найти к нему два различных <tex>Zz</tex> таких, что множества <tex>Y</tex> будут разные. Однако два различных <tex>Zz</tex> в пустом множестве мы найти не можем.
Итого, если одно из множеств пусто, то такая соответствующая множественная зависимость тривиальна, и выполняется для всех отношений.
}}
{{Определение
