支集，是指formula_1的一个子集，满足formula_2恰好在这个子集上非formula_5。最常见的情形是，formula_1是一个拓扑空间，比如实数轴等等，而函数formula_2在此拓扑下连续。此时，formula_2的支撑集被定义为这样一个闭集formula_9：formula_2在formula_11中为formula_5，且不存在formula_9的真闭子集也满足这个条件，即，formula_9是所有这样的子集中最小的一个。拓扑意义上的支撑集是点集意义下支撑集的闭包。特别地，在概率论中