Given The definition of subset; The axiom of power set: for any set $S$, there exists a set $\wp$ such that $X \in \wp$ if and only if $X\subseteq S$ we know what a subset is and what a power set contains. In a simple case where a set $A$ is supposed to exist, with $A=\{a, b, c\}$, we know w...