בעיה בניסוח
כאשר אתה אומר א' הוא ב', אתה בעצם רומז שא' וב' הוא אותו דבר. במקרה הזה, גם ב' וגם ג' יהיו אותו הדבר. הכוונה שלך הייתה ודאי אם א' שייך לקבוצה ב', או בעל תכונה ב', וא' שייך לקבוצה ג'. אבל אז אינך יכול לומר "האם ב' הוא ג'" או "האם ב' שייך לקבוצה ג'", מכיוון שקבוצה אינה "שייכת" לקבוצה אחרת. היא יכולה להיות חלק ממנה (subset) או זהה אליה. אבל אני חושב שזה די ברור שאין חיוב לשום קשר בין ב' ו-ג', מלבד כך שחיתוכן יחזיר קבוצה שאינה ריקה, שאחד מאיבריה הוא בהכרח א'.