Relations (Relation inside a Relation)

AI Thread Summary
The discussion focuses on defining a relation formed from two existing relations, R1 and R2. The composition of these relations, denoted as R3, is explored, with clarification that R3 is derived from R1 and R2. The composition involves mapping elements from R1 through elements of R2, resulting in specific pairs. The final relation R3 is identified as {(a, 1), (a, 3), (b, 1), (b, 3), (c, 1), (c, 3)}. Understanding the definition of the composition is crucial for accurately determining the resulting relation.
XodoX
Messages
195
Reaction score
0
I have a question about what I would call a relation inside a relation. Like:

A={1,2,3) and B={a,b,c}

R1={(a,1) ,(a,3), (b,2), (c,1,), (c,3) }

R2={(a,a), (b,a), (b,c), (c,a) }

R3=R1R2

Like this. I have 2 regular relations. Then I form another relation using these 2. How do I do that? Like if you want to map it or show their common sets.
I would say there's none.
 
Physics news on Phys.org
You have to define what "R1R2" is supposed to mean. The answer will be completely dependent on that definition.
 
Do you mean ##R_1\circ R_2##?
 
It looks like you mean the "composition", the ##R_1 \circ R_2## that micromass suggested. If so then it would be given by;
Since ##R_2## contains (a, a) while ##R_1## contains (a, 1) and (a, 3), ##R_3## contains both (a, 1) and (a, 3). Since ##R_2## contains (b, a) while ##R_1## contains (a, 1) and (a, 3), ##R_3## contains (b, 1) and (b, 3). Since ##R_2## contains (b, c) while ##R_1## contains (c, 1) and (c, 3), ##R_2## contains (b,1) and (b, 3)- but we already have those. Since ##R_2## contains (c, a) while ##R_1## contains (a, 1) (a, 3) ##R_3## contains (c, 1) and (c, 3).

##R_3##= {(a, 1), (a, 3), (b, 1), (b, 3), (c, 1), (c, 3)}.
 
Last edited by a moderator:
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
6
Views
1K
Replies
1
Views
1K
Replies
7
Views
2K
Replies
62
Views
3K
Replies
18
Views
3K
Replies
18
Views
2K
Replies
1
Views
1K
Back
Top