The extraction of aluminium from its ore involves firstly the Bayer process to refine bauxite to alumina (Al2O3), then using the Hall-Héroult process which involves electrolytic reduction of alumina dissolved in molten cryolite to produce pure aluminium metal.