関係

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