Saturation voltage in MOSFET
The saturation of drain current Ids occurs when Vgd=Vt (pinch-off condition of n-channel MOSFET). 

So the saturation drain-source voltage is Vds=Vsat.

Since Vgd=Vgs-Vds you can find that Vsat=Vgs-Vt