兰嵌入定理(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是实域.