Abstract
An arithmetical function is said to be a totient if it is the Dirichlet convolution between a completely multiplicative function and the inverse of a completely multiplicative function. Euler's phi-function is a famous example of a totient. All completely multiplicative functions are also totients. There is a large number of characterizations of completely multiplicative functions in the literature, while characterizations of totients have not been widely studied in the literature. In this paper we present several arithmetical identities serving as characterizations of totients. We also introduce a new concrete example of a totient.