集合の記法は知ってますよね？

集合A＝{1, 2, 3, 4} と集合B＝{3, 4, 5} を考える
要素の個数を比較するとAの方が大きい： #A＞#B
最大数で比較するとBの方が大きい： maxB＞maxA
AとBは交わる： A∩B≠φ

ダイヤと産廃の集合と同じ状況ですが、これが矛盾していると感じるのですか？