Имхо, не-эквивалентно.

Стоит: U = {(телефон, десктоп), (десктоп, стол)}
Давит: L = {(телефон, десктоп), (десктоп, стол), (телефон, стол)}

Т.е. типа нужно для каждого субьекта отношения U проверить, не является ли он еще и обьектом в другой паре, и если является - добавить пару "обьект из первой пары - субьект из второй".

Имхо. :)