Hyperreal numbers form an extension of the real numbers that includes infinitesimals and infinite numbers, providing a rigorous mathematical framework for concepts like 'infinitely small' and 'infinitely large'. They are used primarily in non-standard analysis, which offers an alternative approach to calculus and mathematical analysis by utilizing these numbers.