"all elements of $\mathcal P(A)$ are sets".
Yes; but they are the subsets of $A$. If $A$ has $n$ elements, then $\mathcal P(A)$ has $2^n$ elements, "starting" from $\emptyset$ up to $A$ itself.
Consider the simple example with $n=3$, i.e. $A= \{ 1,2,3 \}$.
We have that $\mathcal P(A)$ has $2^3=8$ elements:
$\mathcal P(A) = \{ \emptyset,\{ 1 \}, \{ 2 \}, \{ 3 \}, \{ 1,2 \}, \{ 1,3 \}, \{ 2,3 \}, \{ 1,2,3 \} \}$.
Thus, for $a=1$ we have that:
$\{ (1,S): S ∈ \mathcal P(A) \} = \{ (1,\emptyset),(1,\{ 1 \}),(1,\{ 2 \}),(1,\{ 3 \}),(1,\{ 1,2 \}),(1,\{ 1,3 \}),(1, \{ 2,3 \}),(1,\{ 1,2,3 \}) \}$
i.e. again $8$ elements.
The same for $a=2$ and $a=3$. Conclusion: $24=3 \times 8= n \times 2^n$.
But the definition is slightly more complicated:
$\{ (a,S) : a∈S, S∈ \mathcal P(A) \}$.
We have to pick-up pairs $(a,S)$ such that $a \in S$: this excludes of course the possibility $S=\emptyset$. But other cases must be excluded as well.
As we can verify in the simplified example, with $a=1$ we have only four pairs with $1 \in S, S \in \mathcal P(A)$.
And we have $4=2^2=2^{n-1}$ for our example with $n=3$.
We have again $3$ possible choices for $a$, and thus - in this case - we have $n \times 2^{n−1}$ pairs.
Some more calculations ...
Why in general, for fixed $a$, we have $2^{n-1}$ elements $S \in \mathcal P(A)$ such that $a \in S$ ?
With $n$ elements we have that $\mathcal P(A)$ has $2^n$ elements.
If we remove $a$, the set left $A'=A \setminus \{ a \}$ has $n-1$ elements; thus $\mathcal P(A')$ has $2^{n-1}$ elements.
The subsets of $A$ are all the subsets of $A'$ "plus" the subsets obtained from the previous ones "adding" $a$.
This is shown by the fact that: $2^n=2 \times 2^{n-1}=2^{n-1}+2^{n-1}$.
In conclusion, the subsets of $A$, i.e. the elements of $\mathcal P(A)$ are $2^{n-1}$ subsets with $a$ inside plus $2^{n-1}$ subsets without $a$ [see again the simplified example].
This gives us the fact that, for fixed $a$, the number of pairs $(a,S)$ such that $a \in S$ are $2^{n-1}$.
Best Answer
The set-theoretic ordered pair $(a,b)$ is $\{\{a\},\{a,b\}\}$. Note that this is $$\{\{a\},\{a,a\}\}=\{\{a\},\{a\}\}=\{\{a\}\}$$ if $a=b$. So you have at least one pair in ${\mathcal P}(T)$, namely $(\emptyset,\emptyset)=\{\{\emptyset\}\}$. Since the empty set is not an ordered pair, and no element of an ordered pair is empty, this is the only ordered pair in ${\mathcal P}(T)$.