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.