Aluminium is extracted from alumina (Al2O3) by electrolysis of a molten mixture of (a) Al2O3 + HF + NaAlF4 (b) Al2O3 + CaF2 + NaAlF4