涵函什么意思是什么意思