Ich gratuliere zu 81 % Akkuladestand. Ohne Textwüste:
Es wird diese Umformung gesucht.
\(\displaystyle \forall a \in A \quad \forall b_{1}, b_{2} \in B \quad\left(a R b_{1} \wedge a R b_{2}\right) \Rightarrow b_{1}=b_{2} \\ \big\Updownarrow \\ \neg \exists a \in A \quad \exists b_{1}, b_{2} \in B \quad\left(b_{1} \neq b_{2} \wedge a R b_{1} \wedge a R b_{2}\right) \)
