main entry for all functions
Exports
-
initRelation, bracketLiteralToSet, initSet, Set, toSet, Pair, Relation, asSet, bracketLiteralToSet, initRelation, initSet, Set, dom, Pair, toSet, ran, Relation, fld, ⊕, bracketLiteralToSet, initRelation, initSet, ∩, Set, Pair, toSet, ×, ∪, Relation, /, bracketLiteralToSet, initRelation, initSet, [], Set, Pair, toSet, Relation, P