== Эквивалентность множеств функциональных зависимостей ==
Здесь и далее <tex>S, P</tex> - множества функциональных зависимостей.
{{Определение
|definition =
Множество ФЗ <tex>S</tex> '''слабее множества ФЗ ''' <tex>P</tex> (<tex>P</tex> накрывает <tex>S</tex>) тогда и только тогда, когда <tex>S^+</tex> является подмножеством <tex>P^+</tex>: <tex>S \sqsubset P \Leftrightarrow S^+ \subset P^+</tex>}} {{Определение|definition =<tex>S</tex> '''эквивалентно''' <tex>P</tex> (<tex>P</tex> накрывает <tex>S</tex>): <tex>S \equiv P \Leftrightarrow S \sqsubset P \& P \sqsubset S \Leftrigtharrow S^+ = P^+</tex>
}}
