Is every element in a set also an element of the powerset? From my understanding of powersets, a powerset contains all the possible subsets of a set. So if we want the power set of {1} then the powerset of {1} is {{}, {1}}.
I was speaking to my tutor who was sure that if 1 is an element of the original set {1} (which is true) then that 1 is also an element of the power set {{}, {1}}. I was sure that it isn't an element, but the set containing that element is. 
Can someone confirm or deny my suspicions? 
 A: Your tutor is wrong and you are right.
However, there are sets $S$ and elements $e ∈ S$ for which $e$ is also in the powerset. Take $S = \{1,\{1\}\}$ and $e = \{1\}$. On the other side, in this example $e' = 1$ is not in the powerset of $S$, since $\mathcal{P}(S) = \{∅,\{1\},\{\{1\}\},S\}$, and none of the listed elements is $1$.
Another thing: There are sets $S$ with the property $S ⊂ \mathcal{P}(S)$, i.e. that every element of $S$ is indeed an element of the power set of $S$. Take for example $S = ∅$, $S = \{∅\}$ or $S = \{∅,\{∅\}\}$. I’m sure these sets have a name, but I don’t know it. Edit: As Andres mentioned in a comment, these sets are called transitive sets.
It is also common to define $0 := ∅$ and inductively any natural number $n+1$ as $n+1 := n ∪ \{n\}$, e.g. $1 = \{0\} = \{∅\}$ and $2 = \{0,1\} = \{∅,\{∅\}\}$ and so forth. Using this definition, it is certainly true that:
$$0 ∈ 1 ∈ 2 ∈ 3 ∈ 4 ∈ …\quad \text{and} \quad 0 ⊂ 1 ⊂ 2 ⊂ 3 ⊂ 4 ⊂ …$$
such that “$∈$” essentially becomes “$<$”, whereas “$⊂$” becomes “$≤$”.
So since any element of a so-defined natural number $n$ is also a subset of $n$, these natural numbers are indeed very prominent examples of sets whose elements are also members in their power sets, i.e. of transitive sets.
