Prodotto di relazione binaria

[df2]

Ciao, se considero $RsubeAxB$, $TsubeAxB$ e $SsubeBxC$
allora:
$RsubeT=>R*SsubeT*S$

ma se considerassi:
$RsubT=>R*SsubeT*S$ oppure $RsubT=>R*SsubeT*S$ ????

io ci ho pensato un pò ma non ne sono sicuro, desidererei una conferma, grazie

[G.D.5]

Qual è la differenza tra la prima e la seconda implicazione scritte dopo il "ma se considerassi:"?

[df2]

"WiZaRd":Qual è la differenza tra la prima e la seconda implicazione scritte dopo il "ma se considerassi:"?

intendo dire:

se considero $RsubT$ invece di $RsubeT$
allora posso dire che $RsubT=>R*SsubeT*S$ oppure che $RsubT=>R*SsubT*S$ ?

( avevo sbagliato a scrivere scusate, colpa del copia/incolla )

grazie