UK = Great Britain + Northern Ireland
Great Britain = England + Scotland + Wales
So technically if they're registered in the UK they're a part of Ireland I suppose.