En analyse convexe, une fonction à valeurs dans la droite réelle achevée R ¯ = R ∪ { − ∞, + ∞ } {\displaystyle {\overline {\mathbb {R} }}=\mathbb {R} \cup \{-\infty,+\infty \}} est dite propre si elle est n'est pas identiquement égale à + ∞ {\displaystyle +\infty } et ne prend pas la valeur − ∞ {\displaystyle -\infty }. Wikipedia