>>399
「濃度が同じ」を全単射ではなく双方向に全射があるということで定義すれば問題無いように思いますが駄目なんでしょうか

ちゃんと
X〜Y、Y〜ZならX〜Z
X〜Y、Y≦ZならX≦Z
のような関係は満たしますし