すなわち、もし別の対(A',φ')が存在すれば、一意な同型射g:A→A'が存在してφ'=U(g)φとなる。
也就是说，若(A′,φ′)为另一个满足该条件的泛态射，则存在唯一的同构态射g:A→A′满足φ′=U(g)φ。