A set is -complete under many-one reductions when
The first condition is membership in the class; the second is -hardness. This is a many-one complete set.