index set

in computability theory, a set $\text{[math]}$ is an index set if for all $\text{[math]}$ and $\text{[math]}$
$\text{[math]}$ [cite:;taken from @computability_soare_2016 chapter 1 defining computability; definition 1.6.12]