When two sets form a collection of ordered pairs of (x,y) each of which coming from each set then it is said that x R y.