la noción dual se llama ínfimo-irreducibilidad.