Relation

relation(List | Vector, List | Vector)

Given two lists/vectors $A$ and $B$, creates a relation object that maps the $i$-th element in $A$ to the $i$-th element in $B$.

Divisor, Empty relation, List