deidrocolesterolo
deidrocolesteròlo s. m. [comp. di deidro- e colesterolo]. – Composto chimico di origine animale, derivante dal colesterolo per ossidazione; per irradiazione con raggi ultravioletti si trasforma in vitamina D3, e costituisce pertanto una delle provitamine D.