माना A और B दो समुच्चय है तथा प्रत्येक में अवयवों की संख्या परमित है। माना A से B पर एक एकैकी प्रतिचित्रण तथा B से A पर एक एकैकी प्रतिचित्रण परिभाषित है। सिद्ध कीजिए कि A से B पर एक एकैकी आच्छादक प्रतिचित्रण होगा।