Pointwise witness ($\forall x\exists yR(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.