Изменения
→Теорема о дополнении
Применяя еще раз теорему Фейгина, получаем, что <tex>X \twoheadrightarrow Z.</tex>
}}
<tex>X \twoheadrightarrow Y {|} Z</tex> обозначается: <tex>X</tex> множественно определяет <tex>Y</tex> и <tex>Z</tex>.
{{Утверждение
|statement=
<tex>\forall R(XY) \Rightarrow X \twoheadrightarrow Y{|}\emptyset</tex>
|proof=
Докажем от противного. Попробуем доказать, что данное утверждение неверно.
Итого, если одно из множеств пусто, то такая соответствующая множественная зависимость тривиальна, выполняется для всех отношений.
}}
{{Определение
|definition=
<tex>X \twoheadrightarrow Y{|}\emptyset</tex> называется тривиальной множественной зависимостью.
}}
== Четвертая нормальная форма ==
