Partial function

A Binary relation $R$ such that if $s\ R\ t_1$ and $s\ R\ t_2$ then $t_1 = t_2$.