Li-Fan Chen
says to
YSITD
然後符合這三個性質 自反性 x==x 對稱性 x==y -> y==x 遞移性 x==y & y==z -> x==z