Index
| <==> | Test.Property.Util, Test.Property |
| ==> | Test.Property.Util, Test.Property |
| adjoint_on | Test.Property.Function.Invertible, Test.Property.Function, Test.Property |
| annihilative | Test.Property.Operation.Annihilative, Test.Property.Operation, Test.Property |
| annihilative' | Test.Property.Operation.Annihilative, Test.Property.Operation, Test.Property |
| annihilative_on | Test.Property.Operation.Annihilative, Test.Property.Operation, Test.Property |
| annihilative_on' | Test.Property.Operation.Annihilative, Test.Property.Operation, Test.Property |
| antisymmetric | Test.Property.Relation.Symmetric, Test.Property.Relation, Test.Property |
| antisymmetric_on | Test.Property.Relation.Symmetric, Test.Property.Relation, Test.Property |
| antitone | Test.Property.Function.Monotone, Test.Property.Function, Test.Property |
| antitone_on | Test.Property.Function.Monotone, Test.Property.Function, Test.Property |
| associative | Test.Property.Operation.Associative, Test.Property.Operation, Test.Property |
| associative_on | Test.Property.Operation.Associative, Test.Property.Operation, Test.Property |
| asymmetric | Test.Property.Relation.Symmetric, Test.Property.Relation, Test.Property |
| commutative | Test.Property.Operation.Commutative, Test.Property.Operation, Test.Property |
| commutative_on | Test.Property.Operation.Commutative, Test.Property.Operation, Test.Property |
| connex | Test.Property.Relation.Connex, Test.Property.Relation, Test.Property |
| coreflexive | Test.Property.Relation.Reflexive, Test.Property.Relation, Test.Property |
| coreflexive_on | Test.Property.Relation.Reflexive, Test.Property.Relation, Test.Property |
| distributive | Test.Property.Operation.Distributive, Test.Property.Operation, Test.Property |
| distributive' | Test.Property.Operation.Distributive, Test.Property.Operation, Test.Property |
| distributive_on | Test.Property.Operation.Distributive, Test.Property.Operation, Test.Property |
| distributive_on' | Test.Property.Operation.Distributive, Test.Property.Operation, Test.Property |
| equivalent | Test.Property.Function.Equivalent, Test.Property.Function, Test.Property |
| equivalent_on | Test.Property.Function.Equivalent, Test.Property.Function, Test.Property |
| euclidean | Test.Property.Relation.Transitive, Test.Property.Relation, Test.Property |
| euclidean' | Test.Property.Relation.Transitive, Test.Property.Relation, Test.Property |
| idempotent | Test.Property.Function.Idempotent, Test.Property.Function, Test.Property |
| idempotent_k | Test.Property.Function.Idempotent, Test.Property.Function, Test.Property |
| idempotent_on | Test.Property.Function.Idempotent, Test.Property.Function, Test.Property |
| iff | Test.Property.Util, Test.Property |
| injective | Test.Property.Function.Injective, Test.Property.Function, Test.Property |
| injective_on | Test.Property.Function.Injective, Test.Property.Function, Test.Property |
| invertible | Test.Property.Function.Invertible, Test.Property.Function, Test.Property |
| invertible_on | Test.Property.Function.Invertible, Test.Property.Function, Test.Property |
| irreflexive | Test.Property.Relation.Reflexive, Test.Property.Relation, Test.Property |
| monotone | Test.Property.Function.Monotone, Test.Property.Function, Test.Property |
| monotone_on | Test.Property.Function.Monotone, Test.Property.Function, Test.Property |
| neutral | Test.Property.Operation.Neutral, Test.Property.Operation, Test.Property |
| neutral' | Test.Property.Operation.Neutral, Test.Property.Operation, Test.Property |
| neutral_on | Test.Property.Operation.Neutral, Test.Property.Operation, Test.Property |
| neutral_on' | Test.Property.Operation.Neutral, Test.Property.Operation, Test.Property |
| projective | Test.Property.Function.Idempotent, Test.Property.Function, Test.Property |
| projective_on | Test.Property.Function.Idempotent, Test.Property.Function, Test.Property |
| quasireflexive | Test.Property.Relation.Reflexive, Test.Property.Relation, Test.Property |
| reflexive | Test.Property.Relation.Reflexive, Test.Property.Relation, Test.Property |
| Rel | Test.Property.Util, Test.Property |
| semiconnex | Test.Property.Relation.Connex, Test.Property.Relation, Test.Property |
| semiconnex_on | Test.Property.Relation.Connex, Test.Property.Relation, Test.Property |
| symmetric | Test.Property.Relation.Symmetric, Test.Property.Relation, Test.Property |
| transitive | Test.Property.Relation.Transitive, Test.Property.Relation, Test.Property |
| trichotomous | Test.Property.Relation.Connex, Test.Property.Relation, Test.Property |
| trichotomous_on | Test.Property.Relation.Connex, Test.Property.Relation, Test.Property |
| xor | Test.Property.Util, Test.Property |
| xor3 | Test.Property.Util, Test.Property |