Set
A
is NP-complete if both of the following hold.
A
∈ NP.
For every
X
∈ NP,
X
≤
p
A
.