【集合論#17】直和と直積

[@yokojkato]

直和を無縁和と呼ぶ下りですが、無縁仏を彷彿させて仏教的で味わい深いです。

[@水波ユキノ]

=: と := の記号の意味がわかりません・・・

[@しんめふ]

定義です！

[@xot1k7]

：のある側が定義したい言葉や記号、ない側が意味ですね