Question to the Foreign, Commonwealth & Development Office:
To ask Her Majesty's Government, following the departure of the UK from the EU, whether the country of Ireland is formally called (1) the Republic of Ireland, or (2) Ireland, in UK law.
It is the UK Government's policy to refer to the country of Ireland as 'Ireland', as can be seen in the latest FCDO geographical names index (March 2021) available here: https://www.gov.uk/government/publications/geographical-names-and-information. The UK's departure from the EU has not changed this.