equivalentemente, es una representación del álgebra universal encapsulante.