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