Right-Unique Relation

Definition: Right-Unique Relation

A relation $R \subseteq A \times B$ is right-unique, if for all $a \in A$ and all $b_{1}, b_{2} \in B$
$((a R b_{1}) \land (a R b_{1})) ⟹ b_{1} = b_{2}$

Razon

Explorer

Right-Unique Relation

Graph View

Backlinks