Existence condition for functions defined via partial definientia.