集合論の濃度の大小の問題 |A|≦|B|<|C| という問題についてです。 A⊂B⊂Cという包合関係

集合論の濃度の大小の問題
|A|≦|B|<|C|
という問題についてです。
A⊂B⊂Cという包合関係があるので、|A|≦|B|は全単射が成り立つがBとCは全射だが単射でないので
f:A→B, g:B→Cの合成写像g⚪︎fが成り立たない。
したがって|A|≦|B|<|C|⇒|A|<|C|
と考えたのですが、濃度の大小は全単射が成り立たないことを言えばよろしいのでしょうか？他にも何か条件を満たしていなかったら助言をいただけたらと思います。

No.1 ベストアンサー 回答者： ありものがたり 回答日時： 2020/08/25 14:46

言いたいことは判るような気がするが、

「合成写像g⚪︎fが成り立たない。」はさすがにイタダケナイ。
合成写像が成り立たないって、何だよ？いったい。
もう少し伝わるような日本語で書こう。

|A|≦|B| の定義は、A→B の単射 f が存在するということ。
|B|<|C| は、|B|≦|C| だが |B|=|C| ではないという意味で、
B→C の単射 g は存在するが、その g は全射ではありえないということ。
このふたつを合成すると、A→C の単射 g⚪︎f は存在するが、
その g⚪︎f は全射ではありえないことが判る。
すなわち、|A|≦|C| だが |A|=|C| ではなく、|A|<|C| と書ける。