• The function $R\colon A\to \mathcal{P}\webleft (B\webright )$ is “surjective on singletons”:
    • For each $b\in B$, there exists some $a\in A$ such that $R\webleft (a\webright )=\webleft\{ b\webright\} $.

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: