Cryolite is used as a solvent for aluminium oxide in the Hall-Héroult process, lowering the melting point of Al2O3 and increasing the conductivity of the electrolyte, thus reducing the energy needed for electrolysis.