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. The symbol is a serif form of the Hebrew letter gimel.