\begin{definition}[Definition:Image (Set Theory)/Relation/Element/Singleton]
Let $F$ be a relation.
:$F(x) = \left\{ z : \exists y: ( z \in y \land x F y ) \land \exists ! y: x F y \right\}$
\end{definition}