子集

在集合论中，对于集合 和 ，若 的元素都属于 ，则称 为 的「子集」，表示为