Test.Validity.Relations
Description
Properties of relations
module Test.Validity.Relations.Antireflexivity
module Test.Validity.Relations.Antisymmetry
module Test.Validity.Relations.Reflexivity
module Test.Validity.Relations.Symmetry
module Test.Validity.Relations.Transitivity