Right-unique relation