1
1
------------------------------------------------------------------------
2
4
-- Some simple binary relations
3
5
------------------------------------------------------------------------
7
7
module Relation.Binary.Simple where
9
9
open import Relation.Binary