Li-Fan Chen
says to
YSITD
喔對了，剛剛用三元關係來定義環狀序是從這來的