Носителем нечеткого отношения R называется обычное множество упорядоченных пар (x, y), для которых функция принадлежности положительна:

S(R) = {(x, y): m_R(x, y) > 0}.

Рассмотрим нечеткое отношение, содержащее данное нечеткое отношение или содержащееся в нем.

Пусть R₁ и R₂ – два нечетких отношения такие, что:

«(x, y)IX ? Y: m_R1(x, y) ?m_R2(x, y),

тогда говорят, что R₂ содержит R₁ или R₁ содержится в R₂. Обозначение: R₁IR₂.

Пример:

Отношения R₁, R₂ – отношения типа y>>x (y много больше x). При k₂ > k₁ отношение R₂ содержит R₁.