Witness

A element in a set that makes a Logical Predicate true.

Example

1. Let $x\in D$ be $2$
2. Then, $x\in D$
3. … $[\text{ proof of }P(x)]$
4. Hence, $P(x)$ In this case, $x$ is the witness.