对的.因为真子集的概念是子集概念的子类,所以只要是真子集,一定是子集.但反过来不一定成立,因为两相等的集合也是彼此的子集,但都不是彼此的真子集.