 Proposition 3.9: A relation \(R \subseteq \mathbb{N}^k\) is computable enumerable if and only if there is a number \(e\) (known as a c.e. index for \(R\)) such that \(R\) is defined by \(\exists z \tau_k(e,\vec{y},z)\).