Extension (mathematics)