Test.Validity.Relations

reflexiveOnElem

reflexivityOnGen

reflexivityOnValid

reflexivity

reflexivityOnArbitrary

transitiveOnElems

transitivityOnGens

transitivityOnValid

transitivity

transitivityOnArbitrary

antisymmetricOnElemsWithEquality

antisymmetryOnGensWithEquality

antisymmetryOnGens

antisymmetryOnValid

antisymmetry

antisymmetryOnArbitrary

antireflexiveOnElem

antireflexivityOnGen

antireflexivityOnValid

antireflexivity

antireflexivityOnArbitrary

symmetricOnElems

symmetryOnGens

symmetryOnValid

symmetry

symmetryOnArbitrary