Gimel function

In axiomatic set theory, the gimel function is the following function mapping cardinal numbers to cardinal numbers:

where cf denotes the cofinality function; the gimel function is used for studying the continuum function and the cardinal exponentiation function.