隸屬函數是一種數學工具，用於描述元素與模糊集合之間的隸屬關係。
隸屬函數將論域中的元素映射到區間內的數值，這個數值表示元素屬於某個模糊集合的程度。與傳統的集合論中指示函數的概念相似，但指示函數的值僅爲0或1，明確表示元素是否屬於某個集合；隸屬函數的值則是0到1之間的任意數，反映了元素對模糊集合的“真實程度”或“成員資格程度”。
例如，如果“胖子”是一箇模糊集合，那麼一箇人的體重可能被用作論域，而隸屬函數則可能爲某個具體體重的人分配一箇在0到1之間的值，如體重80公斤的人可能被賦予0.9的隸屬度，表示他們很可能是這個模糊集合的成員，而70公斤的人可能被賦予0.8的隸屬度。這種概念最早由盧菲特·澤德在1965年提出，並在模糊集合理論中得到了應用。