a relation is a set of ordered pairs.
a relation on a set is a subset of the cartesian product .
some stuff from college
assuming and are sets, if then is a relation from to .
a relation is a set of ordered pairs.
a relation on a set is a subset of the cartesian product .
assuming and are sets, if then is a relation from to .