projection

a set is a projection of some relation if (i.e. geometrically is the projection of the two-dimensional relation onto the -axis).
a set is in -form, abbreivated is , if is the projection of some computable relation .