在数学中，一个定义在集合${\displaystyle X}$是${\displaystyle \mathrm{\Phi <!--\; \Phi \; -->}}$()的支撑族对于任何${\displaystyle Y\in <!--\; \in \; -->\mathrm{\Phi <!--\; \Phi \; -->}}$的。