現代数学概説Ⅰ 1章 $2 例題3 以下を示せ。 G1 ⊆ G1', G2 ⊆ G2'ならばG2・G1 ⊆ G2'・G1' Gx・GyはGxとGyの合成。 ------------------------------------------------------------------------- 対応Γ1を (G1, M1, M2) : 表すと集合M1から M2への対応のグラフG1を定義できる。 このG1が例題のG1。 同様に r2=(G2, M2, M3) この時、G2・G1は、定義により M1∍x1, M2∍x2, M3∍x3とする時、 (x1, x2), (x2, x3) が存在し…