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