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

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