1、如果集合A的任意一個元素都是集合B的元素(任意a∈A則a∈B),那麼集合A稱為集合B的子集,記為A⊆B或 B⊇A,讀作“集合A包含於集合B”或集合B包含集合A”。
2、即:∀a∈A有a∈B,則A⊆B。