>>446
任意のAについてAとNの直和がAと同じ濃度であることを示すのだと思うが。
定義無しで出てきたの?