Test.Validity.Relations.Transitivity
transitiveOnElems
transitivityOnGens
transitivityOnValid
transitivity
transitivityOnArbitrary