多価だと上半連続な多価関数を多価写像と定義するんだったっけ?