1
1
------------------------------------------------------------------------
2
4
-- Properties satisfied by posets
3
5
------------------------------------------------------------------------
7
7
open import Relation.Binary
9
9
module Relation.Binary.Props.Poset