A relation from P to Q is
A universal set of P × Q
P × Q
An equivalent set of P × Q
A subset of P × Q
A relation from P to Q is a subset of P × Q.
With reference to a universal set, the inclusion of a subset in another, is relation, which is
A relation which has all the elements of set A is called universal relation on set A