Tic: Relations & Sets: A Subset Possibility?

  • Context: Undergrad 
  • Thread starter Thread starter StIgM@
  • Start date Start date
  • Tags Tags
    Relations Sets
Click For Summary

Discussion Overview

The discussion revolves around the concept of relations in set theory, specifically whether a relation can be a subset of another relation. Participants explore examples involving relational compositions and their potential subsets.

Discussion Character

  • Homework-related, Conceptual clarification, Debate/contested

Main Points Raised

  • One participant questions if a relation can be a subset of another relation, providing examples of relations X, Y, and Z.
  • Another participant explains the definition of a binary relation and mentions that a subset of a relation is simply a subset of the set of pairs that define the relation.
  • A participant reiterates the initial question about the correctness of the example provided, seeking clarification on whether the relational composition of X and Y can be a subset of Z.
  • A later reply suggests that the forum may not be the best place for homework-style questions, while noting that the previous post contains relevant definitions.

Areas of Agreement / Disagreement

Participants express uncertainty regarding the specific example and whether the relational composition can be a subset, indicating that the discussion remains unresolved.

Contextual Notes

There are limitations in the discussion regarding the clarity of definitions and the specific conditions under which the relations are considered subsets. The example provided may depend on the interpretation of relational composition.

StIgM@
Messages
8
Reaction score
0
Hello guys,
I am new to this forum.

I have a question:
A relation can be subset of some other relation?

For example? I have the relations
X: A <---> B
Y: B <---> C
Z: A <---> C

X relational composition Y can be a subset of Z (if Z contains all the pairs of the composition)

Thanks in advance for your help

StIgM@
 
Physics news on Phys.org
A binary relation is a set R of pairs (x,y) such that (x,y) is in R if an only if x is related to y. If x and y are related we write xRy. In general, a n-ary relation in general is a set of n-tuples. A subset of a relation R is merely a subset of the set R.

In set theory we usually define a relation as an ordered triple (A,B,R), where R is a subset of A x B.
 
Ok, I get your meaning but you didn't give an answer to my example!

Do you know if this is correct?

For example? I have the relations
X: A <---> B
Y: B <---> C
Z: A <---> C

X relational composition Y can be a subset of Z (if Z contains all the pairs of the composition)
?
 
StIgM@ said:
Ok, I get your meaning but you didn't give an answer to my example!

Do you know if this is correct?

For example? I have the relations
X: A <---> B
Y: B <---> C
Z: A <---> C

X relational composition Y can be a subset of Z (if Z contains all the pairs of the composition)
?

This is not really the right place to post homework-style questions. Also Jarle's post contains the answer to your question in the clever wording of the definition. Good luck, welcome to the forum!
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 35 ·
2
Replies
35
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
5K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
396
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K