>>323
関数は写像の一種なので正解
とりあえず関数の厳密な定義が与えられたのは1925年、FrankelとSkolemによって