Прообразом нечеткого множества в при нечетком отображении называется объединение всех нечетких множеств, образы которых при этом отображении принадлежит нечеткому множеству . Доказано, что для множества (прообраз множества ) функция принадлежности имеет вид:
где , ,