'''return''' closure
=== Эквивалентность множеств функциональных зависимостей =={{Определение|definition =TODOМножество ФЗ <tex>S</tex> слабее множества ФЗ <tex>P</tex> (<tex>P</tex> накрывает <tex>S</tex>) тогда и только тогда, когда <tex>S^+</tex> является подмножеством <tex>P^+</tex>. Обозначается как <tex>S \sqsupset P \Longleftrightarrow S^+ \subset P^+}}
