Tests for Arbitrary instances involving Validity
Tests for GenValidity instances
Tests for RelativeValidity instances
Tests for GenRelativeValidity instances
Standard tests involving validity
Standard tests involving functions that can fail
Standard tests involving equivalence of functions
Standard tests involving inverse functions
Properties of relations
Reflexivity
Transitivity
Antisymmetry
Properties of relations
Identity element
Associativity
Commutativity