Given a powerset $S$ of $\{1,2,3\}$, its partial order $\leq$ is given by set inclusion. That is, for any subsets $T_{1} \neq T_{2}$ of $\{1,2,3\}$ we have $T_{1} \leq T_{2}$ if and only if $T_{1} \subset T_{2}$. Construct the Hasse diagram on $S$ under this partial order definition.
