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.
