Light-emitting diodes (LEDs) have been investigated to expand their application to very thin electronic devices, including various optical components in a single device. In such applications, the collimation of light produced by LEDs using a conventional Fresnel lens can be bent at angles greater than $45^{circ}$, whereas most LEDs radiate at solid angles greater than $60^{circ}$. This paper describes a miniaturized total internal reflection (TIR) Fresnel lens for such miniature optical LED applications. The proposed lens reduces the solid angle of a LED from $60^{circ}$ to $12^{circ}$, and was designed to have a thickness of less than 1 mm with eleven facets on a single side. The overall geometry of the TIR lens was calculated numerically using Matlab, and the central hyperboloid was designed using Code V.