A universal set is a set containing elements of all the related sets.
A relation which has all the elements of set A is called universal relation on set A
Universal relation on a set A and universal set has same elements