#群論入門_剰余類編 96 英語名称の復習・続 集合の #直和 direct sum #非交和(合併) disjoint union #代表元 representative #完全代表系 complete system of representatives，transversal #二項関係 binary relation 練習問題: ・集合を類別し完全代表系を作る方法を英語で述べよ.

#群論入門_剰余類編 10 #非交和(ひこうわ，disjoint union) ja.wikipedia.org/wiki/%E9%9D%9E… #集合論 において 集合族の #直和(direct sum)は， 交わりを持たない和(disjoint union). すなわち その族に属する部分集合の どの2つも #互いに素(pairwise disjoint) である時の，通常の合併を指す.

#群論入門_剰余類編 9 集合論的 #直和: ja.wikipedia.org/wiki/%E7%9B%B4… 互いに交わらない (＝共通部分が空である，#互いに素 である) ような集合どうしの 合併(disjoint union，#非交和). 直和を表すのに用いられる記号は ⊕　circled plus, oplus ∐　coproduct ⊔　square cup など.