Sigma-1 set

A set $A$ is in ${\Sigma }_1$ exactly when it is the domain of a partial computable function. Equivalently, there is a computable predicate $R$ such that