2.3.1 Traffic Light Relation

Types: N/A
Examples: N/A
Constructions: N/A
Generalizations: 2.3 Relation

Properties: N/A
Sufficiencies: N/A
Questions: N/A

Traffic Control System Relation

Suppose we are designing a way to control traffic. We want to know how we can use symbols to direct traffic.

\begin{aligned} A & = {🟢, 🔴} \\ B & = {STOP, GO} \\ ⟹ A \times B & = {(🟢, STOP), (🟢, GO), (🔴, STOP), (🔴, GO)} \end{aligned}

Solution. We decide the relation would be:

R = {(🟢, GO), (🔴, STOP)}

Remark. Note that $R \subset A \times B$ . In this case, we've used the set theoretic version for relations to establish a solution to our traffic control problem.