(computing theory) Describing any problem in the complexity class P to which there exists a polynomial time mapping from any other problem in P.

(computing theory) The set of such problems.