若集合M的所有元素都有性质P,S是M的子集,那么S的所有元素都有性质P.(S是M的子集,说明M包含S)