One element in A produces two ordered relationship pairs, so if there are n elements in A, 2 (n) ordered relationship pairs will be produced.
So | f | = 2 (n)
If p(A) is a power set with n elements, then there are 2 (n) power sets.
So the two are equal.