/src/Relation/Binary/Properties/

• ../
• BoundedJoinSemilattice.agda
• BoundedMeetSemilattice.agda
• DecTotalOrder.agda
• DistributiveLattice.agda
• HeytingAlgebra.agda
• JoinSemilattice.agda
• Lattice.agda
• MeetSemilattice.agda
• Poset.agda
• Preorder.agda
• StrictPartialOrder.agda
• StrictTotalOrder.agda
• TotalOrder.agda