Left-unique relation