تذکر: به نحوه نمایش بالا «نمایش مجموعه با استفاده از نمادهای ریاضی» گفته می شود. می خواهیم زوج مرتب طوری انتخاب شود که متعلق به، و متعلق به همچنین برابر با نباشد. علامت خوانده می شود «به طوری که». علامت خوانده می شود «متعلق به».
پس ما دنبال زوج مرتب هایی هستیم که و و یعنی دو برابر مؤلفه اول با مؤلفه دوم مساوی نباشد.