The complement of a set A, with respect to U, is the set having all elements of the universal set.
A relation which has all the elements of set A is called universal relation on set A