Pointwise witness
= Pointwise witness
{title2=$\forall x\exists y\,R(x,y)$}
A witness whose existence is asserted separately for each input. The witness need not be the same element for different inputs, so this condition is weaker than existence of a <uniform witness>.