a product of two relations $R,T$ element of $A \times A$ is defined as? I don't understand?

Asked Oct 25 '19 at 16:27

Active Oct 25 '19 at 16:54

Viewed 27 times

$[RT = { (a, c) | \exists b \in A : (a, b) \in R \wedge (b, c) \in T }.]$

so i dont understand why a product of two relations is defined like that? product stands for * , so shouldnt it be a Cartesian product of two tuples? or do i understand the definition of a product of a cartesian product wrong?

edited Oct 25 '19 at 16:54

Andrés E. Caicedo

79,201

asked Oct 25 '19 at 16:27

Laffa Yett

1

I wouldn't call it a product per se, I would instead call it a composition. This page may shed more light on the topic. You should be well familiar with composition of functions at this point from example, this acts just the same. – JMoravitz Oct 25 '19 at 16:31
@JMoravitz that makes absolutely sense, thank you! – Laffa Yett Oct 25 '19 at 16:33

a product of two relations $R,T$ element of $A \times A$ is defined as? I don't understand?

0 Answers0