Изменения

Применяя еще раз теорему Фейгина, получаем, что <tex>X \twoheadrightarrow Z.</tex>

}}

<tex>X \twoheadrightarrow Y {|} Z</tex> обозначается: <tex>X</tex> множественно определяет <tex>Y</tex> и <tex>Z</tex>.

<tex>X \twoheadrightarrow Y{|}\emptyset</tex> называется тривиальной множественной зависимостью.

== Четвертая нормальная форма ==