若p是q的充分不必要条件,也就是说p能推出q,那么说明p是q的真子集还是说q是p的真子集?