Если рассматривать универсальное множество E как диапазон, в котором может находиться числовая характеристика входящих в него элементов, то нечёткое подмножество A множества E можно охарактеризовать характеристической функцией принадлежности или просто функцией принадлежности мюа:U->[0;1] Нечёткое множество определяется как множество упорядоченных пар: A={mua(x)/x}
Функция принадлежности указывает степень (или уровень) принадлежности элемента x подмножеству. Следовательно, для элементов нечёткого множества нет однозначного ответа "да – нет" относительно их принадлежности этому множеству.