蘭嵌入定理(Lang imbedding theorem)關於域中嵌人的命題.它是蘭(Lang , S.)所獲得的一個有關實函式域的重要結果.若K是域F上一個超越次數為n的函式域，E是任意一個包含F的實閉域，並且E關於F,的超越次數不小於n，則存在一個從K到E的F,嵌人，若且唯若E的惟一序在F上的限制可在K上拓展.當域F為實閉域時，由上面定理可得到下面一個仍稱為蘭嵌人定理的重要結論:若K是實閉域R上一個超越次數為n的函式域，E是任意一個包含R的實閉域，且E關於R的超越次數不小於n，則存在一個從K到E的R嵌人，當目僅當K是實域.
