Li-Fan Chen
says to
YSITD
是說為什麼自反性在等價關係的定義裡