Let and be two arbitrary sets. A binary relation from to is a subset of .
If then is called relation on where be an element of .
We say that is related to through .
Sometimes instead of , we can use for relation and written as if .
Since , is a relation from to .
, is also a relation from to .