.eu is classified as a ccTLD [0], not gTLD by IANA, so for the purpose of this discussion it is one - and the registrar for it (EURid) requires ciitzenship of one of the member states to hold .eu domain. EU citizens living the UK can have .eu names, but no-longer-EU-citizens of UK do not.