例えば、1を入力すると{1,2,3}という値のセットが必ず出力され、
2を入力すると{4,5,6}という値のセットが必ず出力され、
3を入力すると{7,8,9}という値のセットが必ず出力される関数があったとします。
1 :-> {1, 2, 3}
2 :-> {4, 5, 6}
3 :-> {7, 8, 9}
この関数は数学的関数としての定義を満たしますか。
それともこれは多価関数なので関数ではなく写像ですか。