3 Definition renewed

Another way to define a relation is as follows. $G(L) \subseteq \prod_{i=1}^{n} X_i$ . Then a relation $L$ is defined to be a tuple like $L = (X_1, X_2, \ldots, G(L))$ . $G(L)$ called a graph of $L$ .