Li-Fan Chen
says to
YSITD
https://www.wikiwand.com/en/Separation_relation
我找到另個咚咚了，用四元關係來定義排列