YSITD_Chat_Bot says to #ysitd <koru1130>: https://www.wikiwand.com/en/Separation_relation 我找到另個咚咚了，用四元關係來定義排列