Projective set (source code)

= Projective set

A projective set belongs to some finite level of the <projective hierarchy>.