دو مجموعه $A$ و $B$ را هم ارز میگویند هرگاه متناظر با هر عضو از مجموعهی $A$ عضوی در مجموعهی $B$ و متناظر با هر عضو از مجموعه $B$، عضوی در مجموعه $A$ وجود داشته باشد. با این توصیف کدام عبارت همواره درست است؟
گزینه 1 غلط است زیرا هر دو مجموعه مساوی هم ارز هستند اما عکس آن همیشه صدق نمیکند. در واقع تنها شرط لازم برای هم ارزی برابر بودن تعداد اعضای دو مجموعه است(یعنی گزینه 2).