→ zuchang: 下界就取空集合 上界取最大的S 01/07 13:56
→ Ricestone: 7(a)是講derive,本來就有 01/07 17:16
→ Ricestone: 7(b)這題immediate的定義方式沒定義到自己跟自己的狀況 01/07 17:16
→ Ricestone: 所以沒反身性 01/07 17:16
→ Ricestone: 7(e)若不論自己到自己,immediate就是把derive只留下 01/07 17:20
→ Ricestone: 只有直接關係的線,本身就是Hasse圖的定義 01/07 17:21
→ Ricestone: 不過我想這應該算題目沒出好啦...不然代表一個derive 01/07 17:37
→ Ricestone: 會有很多個immediate relation,這樣很沒意思 01/07 17:38