Effective Relation

Definition

1. With $R,X,W$ as Efficiently Recognizable Languages
2. With $R\subset X\times W$
3. With $X$ as the set of statements
4. With $W$ as the set of Witnesses
5. We say $x\in X$ is true if $\exists w\in W,(x,w)\in R$. Otherwise, it is false
6. We call $R$ an Effective Relation

Examples

• Discrete Logarithm Language