隸屬函數（membership function）是用於表徵模糊集合的數學工具。
對於普通集合A，它可以理解為某個論域U上的一個子集。為了描述論域U中任一元素u是否屬於集合A，通常可以用0或1標誌。用0表示u不屬於A，而用1表示屬於A ，從而得到了U上的一個二值
函數χA（u），它表徵了U的元素u對普通集合的
從屬關係，通常稱為A的特徵函數，為了描述元素u對U上的一個模糊集合的隸屬關係，由於這種關係的不分明性，它將用從區間【0，1］中所取的數值代替0，1這兩值來描述，記為（u），數值（u）表示元素隸屬於模糊集的程度，論域U上的函數μ即為模糊集的隸屬函數，而（u）即為u對的隸屬度。