Suppose a Functor
has a Representation .
Then we say that is a universal element of .