75
правок
Изменения
→Эквивалентность множеств функциональных зависимостей
{{Определение
|definition =
<tex>S</tex> '''слабее''' <tex>P</tex> (<tex>P</tex> накрывает <tex>S</tex>) тогда и только тогда, когда <tex>S^+</tex> является подмножеством <tex>P^+</tex>: <br/><tex>S \sqsubset P \Leftrightarrow S^+ \subset P^+</tex>
}}
{{Определение
|definition =
<tex>S</tex> '''эквивалентно''' <tex>P</tex> (<tex>P</tex> накрывает <tex>S</tex>)<br/><tex>S \equiv P\!, \Leftrightarrow\! , S \sqsubset P\! ; \textrm{and}\! ; P \sqsubset S\! , \Leftrightarrow\! , S^+ = P^+ </tex>
}}
