设[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]是一任意集合，[tex=2.286x1.214]n4UPT3fPQF8LGaTSsyfoVw==[/tex]。定义[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是从[tex=7.214x1.357]taUXvsH3ruVlBiAfiJJff59SBVeSKn4gGlHJV6UmC60=[/tex]到[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的所有映射的集合，定义[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]是[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的元素的所有[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]重组集合。[tex=14.0x1.357]w7+RnDZOWfmefwWU8p6ib0FQCKuY2hseoVfD30pop5jYwGgCIxViT5TKmlwNzGnhtZNthwLo4/1+l3Z7AFPuOPw151jF51+B8lBwgf3Ml5yh28lk0xBpLrccEzOPqGMy[/tex]，证明存在一从[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]到[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]的双射函数。(由于这个双射函数，有的书上符号[tex=1.214x1.0]tDNj5aoJETJiravoifVs8Q==[/tex]既用于表示[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]，又用于表示[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]，即用[tex=0.643x0.786]SBMIs+VUk7//BOpfqlQl0w==[/tex]表示集合[tex=8.214x1.357]UHHN19pBVvWVmKuVCXi+91fsnyglX8sW+cwyUx96nqU=[/tex]。)