vložka (v matematice nebo programování)