Mathematical Definition of Legendre Transform