Prove that and
.
Proof. First, it is clear that





For the reverse inclusion, if









Therefore,

Proof. From Exericse 12 (Section I.2.5) we know that for any set
; hence,
.
For the reverse inclusion, if is any element in
, then
and
; hence,
. Therefore,
.
Hence, .∎