Sei D eine Menge undeine Funktion auf dieser Menge. Dann heißt mX eine Zugehörigkeitsfunktion ( membership function) der unscharfen Menge ( fuzzy set) X über dem Grundbereich D . Der Grad der Zugehörigkeit eines Elementes dD zur Menge X wird durch den Funktionswert
mX:D->[0,1] gegeben. Um den Unterschied deutlich zu machen, werden herkömmliche Mengen in diesem Zusammenhang häufig auch als scharfe Mengen bezeichnet.
mX(d)[0,1]