Y a-t-il des langues «complètes» dans $ conp -np $?

Question

Supposer $ conp neq np $

La langue B serait appelée "complète" dans $ conp-np $ si:

1. $ B in conp - np $
2. $ A in conp-np implique un leq_pb $

Y a-t-il des langues "complètes" dans $ conp - np $?