If is a class of languages and is a language and for any we have then is -hard ( is at least as hard as anything in ) Reduction Function