a person who performs a certain function, especially an official