Algebra.Graph.Relation.InternalDerived

Implementation of derived binary relations

data ReflexiveRelation a

data SymmetricRelation a

data TransitiveRelation a

data PreorderRelation a