包含的符號有?、?、?。
是包含於符號：A包含於B-則A為B的子集或等於B。 是包含符號：A包含B-則B為A的子集或等於A。 真包含：A真包含於B-則A為B的真子集，若B={1，2}，則A={1}或｛2}或空集。定義
如果集合A的任意壹個元素都是集合B的元素（任意a∈A則a∈B），那麽集合A稱為集合B的子集，記為A?B或?B?A，讀作“集合A包含於集合B”或集合B包含集合A”。
即：?a∈A有a∈B，則A?B。
真子集：
如果集合A是B的子集，且A≠B，即B中至少有壹個元素不屬於A，那麽A就是B的真子集，可記作：A?B。
符號語言：若?a∈A，均有a∈B，且x∈B使x?A，則A?B。