Test.Validity.Relations

Properties of relations

Reflexivity

reflexiveOnElem

reflexivityOnGen

reflexivityOnValid

reflexivity

reflexivityOnArbitrary

Transitivity

transitiveOnElems

transitivityOnGens

transitivityOnValid

transitivity

transitivityOnArbitrary

Antisymmetry

antisymmetricOnElemsWithEquality

antisymmetryOnGensWithEquality

antisymmetryOnGensEq

antisymmetryOnValid

antisymmetry

antisymmetryOnArbitrary

Symmetry

symmetricOnElems

symmetryOnGens

symmetryOnValid

symmetry

symmetryOnArbitrary