Includes in the relation (a, b)
for all b
in bs
.
Includes (a, b)
in the relation.
Includes pair
in the relation.
Includes the given pairs in this relation.
Returns the union of the relation r
with this relation.
Removes pair
from this relation.
Removes all pairs (_1, _2)
from this relation.
Removes all relations
from this relation.
Removes all pairs
from this relation.
Removes all elements (_1, _2)
for all _1
in _1s
from this relation.
Returns the set of all _1
s such that (_1, _2)
is in this relation.
Returns the set of all _2
s such that (_1, _2)
is in this relation.
Returns all pairs in this relation.
Returns true iff (a,b)
is in this relation
Returns a relation with only pairs (a,b)
for which f(a,b)
is true.
Returns the set of all _2
s such that (_1, _2)
is in this relation.
Represents this relation as a Map
from a _1
to the set of _2
s such that (_1, _2)
is in this relation.
Represents this relation as a Map
from a _1
to the set of _2
s such that (_1, _2)
is in this relation.
Specifically, there is one entry for each _1
such that (_1, _2)
is in this relation for some _2
.
The value associated with a given _1
is the set of all _2
s such that (_1, _2)
is in this relation.
Partitions this relation into a map of relations according to some discriminator function.
Returns a pair of relations: the first contains only pairs (a,b)
for which f(a,b)
is true and
the other only pairs (a,b)
for which f(a,b)
is false.
Returns the set of all _1
s such that (_1, _2)
is in this relation.
Represents this relation as a Map
from a _2
to the set of _1
s such that (_1, _2)
is in this relation.
Represents this relation as a Map
from a _2
to the set of _1
s such that (_1, _2)
is in this relation.
Specifically, there is one entry for each _2
such that (_1, _2)
is in this relation for some _1
.
The value associated with a given _2
is the set of all _1
s such that (_1, _2)
is in this relation.
Returns the number of pairs in this relation
Binary relation between A and B. It is a set of pairs (_1, _2) for _1 in A, _2 in B.