identityRel | Data.Relation.SetOfPairs, Data.Relation |
img | Data.Relation.SetOfPairs, Data.Relation |
inv |
1 (Function) | Data.Relation.Folds |
2 (Function) | Data.Relation.SetOfPairs, Data.Relation |
inv' | Data.Relation.Folds |
invMoP | Data.Relation.Folds |
invPoP | Data.Relation.Folds |
invSoP | Data.Relation.Folds |
isAbstraction | Data.Relation.Taxonomy, Data.Relation |
isBijection | Data.Relation.Taxonomy, Data.Relation |
isCoreflexive | Data.Relation.Taxonomy, Data.Relation |
isEntire | Data.Relation.Taxonomy, Data.Relation |
isFunction | Data.Relation.Taxonomy, Data.Relation |
isInjection | Data.Relation.Taxonomy, Data.Relation |
isInjective | Data.Relation.Taxonomy, Data.Relation |
isReflexive | Data.Relation.Taxonomy, Data.Relation |
isRepresentation | Data.Relation.Taxonomy, Data.Relation |
isSimple | Data.Relation.Taxonomy, Data.Relation |
isSuperKey | Data.Relation.FunctionalDependencies, Data.Relation |
isSurjection | Data.Relation.Taxonomy, Data.Relation |
isSurjective | Data.Relation.Taxonomy, Data.Relation |