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.
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.