模煳集是模煳数学上的一个基本概念，是数学上普通集合的扩展。
定义.给定一个论域formula_1 ，那么从formula_1到单位区间formula_3的一个映射formula_4称为formula_1上的一个模煳集，或formula_1的一个模煳子集，
表示.模煳集可以记为formula_7。映射（函数）formula_8或简记为formula_9叫做模煳集formula_7的隶属函数。对于每个formula_11， formula_12叫做元素fo