En el conjunto NP-Hard se asume que el lenguaje "L" satisface la propiedad 2, pero no la propiedad 1.