Algebra.Graph.Relation.Preorder

Data structure

data PreorderRelation a

fromRelation

toRelation