同様に、ある言語がUPに含まれるとは、解を多項式時間で検証でき、かつその検証機械がそれぞれの具体的問題について高々1つの解のみ受容することである。
与之类似的说法是，一个语言在UP里面，若一个给定的回答可以在多项式时间内被检证，并且这个验证的机器对任何给定的问题至多只接受一个答案。