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