推 hut326521: 原本是所有a>b的集合 對稱包就是再加上所有a<b的集合 02/07 22:42
→ hut326521: 就變成除了a=b以外的所有集合惹 02/07 22:43
→ joeboy: 所以對稱包跟原來R的關係會不相同嗎？ 02/07 22:49
→ hut326521: 就是原本的關係再加上對稱的關係呀 02/07 22:51
→ hut326521: 畫個沒對角線的上三角矩陣 再做成對稱包試試 02/07 22:52
→ joeboy: 所以對稱包的右上跟左下會同時存在兩種關係式嗎 02/07 22:57
→ hut326521: 把範圍縮小點應該比較好理解 02/07 23:01
→ hut326521: 就是同時存在a>b跟a<b的意思 02/07 23:04
推 Gabino: 新加入而形成對稱包的元素 並不會符合R 不然它本來就會在R 02/07 23:04
→ Gabino: 關係裡了 02/07 23:04
→ joeboy: 大概懂了，對稱包的關係會跟原來的關係不一樣這樣對嗎 02/07 23:07
推 s89162504: 所以各種closure不用考慮要不要符合relation嗎？ 像是 02/07 23:13
→ s89162504: 小於關係的反身包就算自己不可能小於自己但就是加進去 02/07 23:13
→ s89162504: 就對了? 02/07 23:13
推 Gabino: 對了 各種包都是原關係的延伸 02/07 23:21
推 s89162504: 原來如此 感謝大大 02/07 23:59
→ aa06697: 就是原關係沒有對稱性 所以要擴大關係讓他有對稱性 這就 02/08 07:21
→ aa06697: 叫對稱包 02/08 07:21