Left Unique Relation

A Binary Relation where there is at most one s.t

Right Unique Relation

A Binary Relation where there is at most one s.t