Множество функциональных зависимостей называется неприводимым тогда и только тогда, когда
 правая часть каждой функциональной зависимости из множества S содержит только один атрибут
| левая часть каждой функциональной зависимости из множества S является неприводимой
|  правая часть каждой функциональной зависимости из множества S содержит несколько атрибутов
|
| ни одна функциональная зависимость из множества S не может быть удалена из множества S без преобразования множества S в некоторое иное множество, не эквивалентное множеству S
| левая часть каждой функциональной зависимости из множества S содержит несколько атрибутов
| левая и правая части каждой функциональной зависимости содержат несколько атрибутов
|
| правая часть каждой функциональной зависимости из множества S является неприводимой
|