集合''X''からその冪集合\\mathcal(X)への写像をx\\mapsto\\と定義すると,この写像は単射となるから注意せよ.
から注意せよ