posetoid

順序を≦、同値関係を〜とすると、条件は：

1. a≦b, a〜a' ⇒ a' ≦ b
2. a≦b, b〜b' ⇒ a ≦ b'

くらいかな。Aの商Q(A)にも「≦が落とせる」と言えばいいのか。