La biconjugada "f" (la conjugada convexa de la conjugada convexa) también es el contorno convexo cerrado, es decir, la función convexa semicontinua inferiormente más grande que es menor que "f".