四元子集是指有N个元素的集合（N>=4），它的子集中有且只有4个元素的子集，子集是一个数学概念，如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集。

集合，简称集，是数学中一个基本概念，也是集合论的主要研究对象。其中，构成集合的这些对象则称为该集合的元素。集合中元素的数目称为集合的基数，当其为有限大时，集合A称为有限集。