Let
f:
A->
A be a
function.
x is called a
fixed point of
f if
f(x)=x.
Of course this means that no matter how many times we apply f to x, it remains the same. So we would expect x to be a limit for a process of repeatedly applying f to any point. Under certain conditions, a fixed point exists and satisfies this limiting property.