In the mathematical field of complex analysis, a branch point of a multi-valued function (usually referred to as a "multifunction" in the context of complex analysis) is a point such that the function is discontinuous when going around an arbitrarily small circuit around this point. Multi-valued functions are rigorously studied using Riemann surfaces, and the formal definition of branch points employs this concept.