Transitive

Return to Glossary.

Formal Definition

---

If $a \mathscr{R}\ b$ and $b \mathscr{R}\ c$ then $a \mathscr{R}\ c$

Informal Definition

---

If a in a set $S$ has a relation to b in that same set and b has a relation with c that is also in the set $S$, then a has a relation to c.

Example(s)

---

Reference HW2 Problem 1

Non-example(s)

---

Reference HW2 Problem 14 because the problem doesn't hold under the transitive property.

Additional Comments

---

Add any other comments you have about the term here