Which of the following correctly states the condition under which a relation R is said to be a subrelation of another relation S?
a) Every ordered pair belonging to S also belongs to R.
b) domain(R)⊆domain(S) irrespective of the other ordered pairs.
c) Every ordered pair belonging to R also belongs to S.
d) range(R)⊆range(S) even if some ordered pairs differ.