P含于S包括两种情况：P=S或者P为S的真子集
在这两种情况下都有P S=P
因此由P S=P 并不能保证P是S的真子集,还可能是P=S.
但是不管P是S的真子集,还是P=S,都有P含于S.