fixed point

We say that a function $F: X \to 2^X$ (or a function $F: X \to C(X)$) has a fixed point provided that there is a point $x \in X$ such that $x \in F(x)$.