left-unique relation