Set
S
is partially computable if there exists a program
p
so that φ
p
(
x
)↓ ⇔
x
∈
S
.