Test.Validity.Relations

Properties of relations

Reflexivity

reflexiveOnElem

reflexivityOnGen

reflexivityOnValid

reflexivity

reflexivityOnArbitrary

Transitivity

transitiveOnElems

transitivityOnGens

transitivityOnValid

transitivity

transitivityOnArbitrary

Antisymmetry

antisymmetricOnElemsWithEquality

antisymmetryOnGensWithEquality

antisymmetryOnGens

antisymmetryOnValid

antisymmetry

antisymmetryOnArbitrary

Antireflexivity

antireflexiveOnElem

antireflexivityOnGen

antireflexivityOnValid

antireflexivity

antireflexivityOnArbitrary

Symmetry

symmetricOnElems

symmetryOnGens

symmetryOnValid

symmetry

symmetryOnArbitrary