[理工] 離散 關係與函數

[lanlansaysay (Biu)]

https://i.imgur.com/aGwjV1O.jpg
https://i.imgur.com/CIcNaHS.jpg
想請問箭頭以下的過程是如何推導的
看不懂為何這樣假設

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.213.197.123 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1592205525.A.AD4.html
推 smashIT: 若aR^kc 根據對稱 cR^ka成立
→ smashIT: 若aRb成立 根據對稱bRa成立
→ smashIT: 考慮bRa且aR^kc所以 bR^（k+1）c成立
推 smashIT: 考慮aRb且cR^ka所以 cR^（k+1）b成立
→ smashIT: 所以R^(k+1) 也具有對稱
→ lanlansaysay: 懂意思了 感謝樓上大大