Civil service
Workers in non-departmental public bodies, (called Quangos in some countries) may also be called civil servants in context with statistics. All people that may be called civil servants together form a nation's Civil Service or Public Service.