Has the same relation to NPSV_t as P-Sel does to P.

Also known as NP-sel.

Defined in [HHN+95].

No class.