Yes,it is

Right.If so, then we can see that is also reflexive, which is what the above theorem asserts

With \mathcal{P}(A) we get .I see one problem the way symbol for the power set P is displayed. I have used \mathscr{P} to display slanted P, but it just displays ordinary . Is maths packagemathrsfsinstalled on this forum ?