Изменения
→Основное свойство замыкания множества атрибутов
'''Следствие''':<br/><tex>X</tex>- надключ <tex> \Leftrightarrow X^+ </tex> - множество всех атрибутов
|proof=
<tex>(=>)</tex><br>По определению замыкания атрибутов, т.к все атрибуты функционально зависят от <tex>X</tex>.<br/>
<tex>(<=)</tex><br><tex>X^+</tex> - множество всех атрибутов и по теореме <tex>\exists \; X \to X^+</tex>, то по определению функциональной зависимости <tex>X</tex> соответствует ровно один <tex>X^+</tex> и значит <tex>X</tex> - надключ.
}}
