推移性
推移性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/05/25 01:13 UTC 版)
三つの集合 A, B, C に対し二つの全単射 f: A → B および g: B → C が存在すれば、写像の合成 g ∘ f は A から C への全単射であるから、A ~ B かつ B ~ C ならば A ~ C が成り立つ。
※この「推移性」の解説は、「等濃」の解説の一部です。
「推移性」を含む「等濃」の記事については、「等濃」の概要を参照ください。
- 推移性のページへのリンク