If is a binary relation over sets and , and is a binary relation over sets and then (also denoted by ) is the of and over and .
If is a binary relation over ,sets and  and is a binary relation over sets and then (also denoted by ) is the of and over and .