関数外延性