真子集是子集的一种,是B的子集中,除去B自己以外的其他子集都是真子集.
所以A是B的真子集,那么A就必然是B的子集.