Innfeldisrúm er vigurrúm með innfeldi. Ef innfeldisrúmið er fullkomið m.t.t. firðar framkölluð frá innfeldinu, þá kallast það Hilbert-rúm.
Látum vera svið sem er annaðhvort rauntölusviðið eða tvinntölusviðið .
Látum vera vigurrúm yfir og látum vera innfeldi skilgreint yfir vigurrúm , þ.e.a.s. vörpun þ.a. eftirfarandi skilyrði eru uppfyllt fyrir öll og :
- og
- ef og aðeins ef
Þá er , vigurrúm með innfeldi , kallað innfeldisrúm.
Rauntalnamengið ásamt innfeldi skilgreint sem fyrir öll er dæmi um innfeldisrúm.
ásamt innfeldi skilgreint sem fyrir öll er dæmi um innfeldisrúm.
ásamt innfeldi skilgreint sem fyrir öll er dæmi um innfeldisrúm.
Látum vera mengi allra samfelldra tvinntölufalla skilgreind á bilinu .
er einnig vigurrúm og myndar innfeldisrúm með innfeldinu skilgreint sem fyrir öll .