证明集合[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]是无限集的充分必要条件是对于从[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]到[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的每个映射[tex=0.643x1.286]+RQz+inOZSqc5WvKyEpD0Q==[/tex]，有[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的非空真子集[tex=0.786x1.0]ri6gmnf1+J9dGqG5/1sV6A==[/tex]，使[tex=4.143x1.357]23z35s+omZky5GB/Xloakg==[/tex]。