Definition: Fixed Point, Fixed Point Property

Let $A$ be a set. A bijective function $f:A\to A$ is said to have a fixed point property, if there is an element $x\in A$ such that $f(x)=x.$ The point $x$ is called a fixed point of $f$.

Propositions: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs