las clases definidas con reducciones many-one son subclases de estas mismas.