Definition 2  A relation R in a set A is called universal relation, if each element of A
is related to every element of A, i e , R = A × A Both the empty relation and the universal relation are some times called trivial
relations