91Ó°ÊÓ

In set theory, the composition of relations deals with combining two relations to form a new one. For two relations, R and S, their composition is represented as S \( \circ \) R. This new relation pairs elements from the first set to elements in the third set through an intermediate set.
Let's break it down using our example: Suppose R consists of pairs (a, b) where a is a parent of b, and S consists of pairs (b, c) where b and c are siblings.
The composition S \( \circ \) R will combine these pairs to form new pairs (a, c) where a is the parent of an intermediate person b, and c is the sibling of b.
Thus, composition of relations helps us understand new relationships by linking existing ones.

The parent-child relation, denoted as R, consists of pairs (a, b), where a is a parent of b. This is a direct relationship, meaning that for every pair, a parent will be directly connected to their child.
At its core, this relation is straightforward, using familiar family connections. For example, if we have that (John, Mike) is in R, it means John is a parent of Mike.
When creating compositions with this parent-child relation, we extend the relationship to include other family members, like siblings or aunts and uncles through additional pairs in a new set.
By understanding R, we can more easily explore its compositions and the resulting family dynamics.

The sibling relation, denoted as S, consists of pairs (a, b), where a and b are siblings. Siblings are individuals who share at least one parent.
In math, this means that for every pair in S, the two people are brothers or sisters. For instance, if (Sarah, Jane) is in S, it tells us that Sarah and Jane are siblings.
This relation becomes useful when exploring compositions like S \( \circ \) R. Here, S links siblings together, and when combined with R, we can infer additional relationships, such as both being children of the same parent.
Understanding this sibling relation can help clarify the results of more complex compositions, integrating multiple family connections.

The aunt or uncle relation emerges in our example of the composition R \( \circ \) S. This relation consists of pairs (a, c), where a is an aunt or uncle of c.
To break it down: if we have a pairing (a, b) in sibling relation S, indicating a is the sibling of b, and a pairing (b, c) in parent-child relation R, indicating b is the parent of c. We can combine these to say (a, c) forms a new pair where a is the aunt or uncle of c.
For example, if Jane is Mike's sibling and Mike is Charlie's parent, then Jane is Charlie's aunt. So, in R \( \circ \) S, Jane and Charlie will be paired to show this aunt/uncle relation.
Understanding this concept helps us map out extended family relationships using straightforward compositions of simpler relations.