Новые определения, аналогов которых нет в теории четких множеств

Носителем (суппортом) нечеткого множества A называется четкое множество, которое входят те и только те элементы x, для которых функция принадлежности строго положительна.

.

a - уровнем множества A называется четкое множество A_a со следующей функцией принадлежности:

Пусть B - четкое множество, а aÎ[0;1]. Тогда множеством a*B, называется нечеткое множество со следующей функцией принадлежности:

.

Используя последние определения, сформулируем важную теорему.