User blog comment:C7X/Supremum Method for Defining an OCF/@comment-35470197-20200114061905

Well-defined. You have ψ_ν(α) = 0 for any ν and α.