反射律a〜a
対象律a〜b⇒b〜a
推移律a〜b,b〜c⇒a〜c

これでいいのか？