定義（2項関係） 集合 A 上の2項関係Rとは、Aの直積集合 の部分集合を言う。 をxRyとも書く。 定義（半順序集合） 集合P上の半順序関係（partial order relation）とは、P上の２項関係 であって以下を満たすものを言う。 （反射律） （反対称律） かつ なら…