The class of all NPSV functions that are total (that is, defined on every input).

Contained in NPMV_t.

The class of NPMV functions that are single-valued (i.e., such that every accepting path outputs the same value).

Defined in [BLS84].

Contains NPSV_t.

P = NP if and only if FP = NPSV.

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

Also known as NP-sel.

Defined in [HHN+95].