1.第8题
https://imgur.com/HyIRlxw
为何Ｄ选项不像我写的那样，有2^15个呢？
2.第16 20题 程式题
https://imgur.com/MOBFa3f
https://imgur.com/dXFt9jy
https://imgur.com/yzE8aQq
虽然第十六题写对，但第二十题错的很惨，
而且第十六题程式追踪追的很辛苦ＱＱ
想问这类的题型有没有比较好的做法？
另外问，partial oreder(poset)和total-ordered set很好分
但total-ordered和well-ordered怎么分？
数学归纳法能是用哪个来推论？

relation on AxB是指((a1,b1),(a2,b2))这样的东西所以是2^(15*15)种良序要有（每个非空子集合都要有）最小元素，例如所有整数就不是良序

20题程式有错写的当下真的难追踪