子集是一個數學概念，指的是一個集合中的所有元素都是另一個集合中的元素。
具體來說，如果集合A的任意一個元素都是集合B的元素，那麼集合A被稱為集合B的子集。記作A⊆B或B⊇A，讀作「集合A包含於集合B」或「集合B包含集合A」。例如，集合A={1,2,5}，集合B={1,2,3,5,7}，那麼A是B的子集，因為A的每一個元素都是B的元素。
此外，如果集合A是集合B的子集，並且集合B中至少有一個元素不屬於集合A，那麼集合A被稱為集合B的真子集。例如，集合A={1,2,5}，集合B={1,2,3,5,7}，由於集合B中至少有一個元素（例如元素3）不屬於集合A，所以集合A是集合B的真子集。