Let S be any set satisfying |S| >= 2. For any subsets X an Y of S,define a binary relation p on P(S) by:

XpY if and only if X subset Y.

for p

Give an explanation for

Is it reflexive, anti symmetric, transitive, a partial order, a total order?

I know what the above mean, but i struggle to make the link/proof to show that they are or aren't...

Any help would be much appreciated.

Thanks, Sim.