Definition:Contravariant Representable Functor