多価関数

多価関数（たかかんすう、英: multivalued function）とは、全域的な関係のひとつであり、一つの入力が与えられたときに一つあるいは複数の出力を得るものである。しかし現代的な定義での関数は写像の一種とみなされ、一つの入力があるときに出力を一つだけ得るものと定義されることが多く、この場合には多価関数を「関数」と呼ぶのは不適切となる（下記多価関数#歴史的経緯参照）。多価関数は単射でない関数から得ることができる。そのような関数では逆関数が定義できないが、逆関係 (inverse relation) はある。多価関数は、この逆関係に相当する。