Un funcional sublineal en un espacio vectorial formula_1 sobre un cuerpo formula_2 (que puede ser los números reales formula_3 o complejos formula_4) es una función formula_5 que verifica: