civil service: government workers; usually hired on the basis of competitive examinations
government officials: people elected or appointed to administer a government
direct sum: a union of two disjoint sets in which every element is the sum of an element from each of the disjoint sets