Die Funktion kann auf jeder einfach zusammenhängenden offenen Menge in der komplexen Ebene, die Null nicht enthält, definiert werden und ist auf dieser Definitionsmenge holomorph.
In Anlehnung an die Bezeichnung für die Gesamtheit (den Raum) der stetigen Funktionen mit Definitionsmenge wird der Raum der stetig differenzierbaren Funktionen mit abgekürzt.
Entsprechend gilt: Eine zweimal stetig differenzierbare Funktion ist auf ihrer konvexen Definitionsmenge genau dann konkav, wenn ihre Hesse-Matrix negativ semidefinit ist.
Das heißt: Es wird eine Aussageform angegeben (mit einer Objektvariablen, die eine wohlbestimmte Definitionsmenge haben sollte), sodass genau dann gilt, wenn zutrifft.