Avatar
Taketo Sano 1/25/2018 2:52 PM
Image attachment
2:52 PM
これが「積」の定義で、
2:53 PM
Image attachment
2:54 PM
これが「和」（または「余積」）の定義です。
3:00 PM
例えば整数全体を整除関係（a が b を割り切る ⇔ a ≦ b）によって半順序集合と見なした圏では、a, b の「和」がその最小公倍数、「積」が最大公約数になります。 (edited)