(*|
関係
====
|*)

Definition bin_rel (A : Type) : Type :=
  A -> A -> Prop.