Skip to main content
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\vec}[1]{\mathbf{#1}} \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section6.3Properties of Relations

Subsection6.3.1Individual Properties

Consider the set \(B = \{1, 2, 3, 4, 6, 12, 36, 48\}\) and the relations “divides” and \(\leq \) on \(B\). We notice that these two relations on \(B\) have three properties in common:

  • Every element in \(B\) divides itself and is less than or equal to itself. This is called the reflexive property.

  • If we search for two elements from \(B\) where the first divides the second and the second divides the first, then we are forced to choose the two numbers to be the same. In other words, no two different numbers are related in both directions. The reader can verify that a similar fact is true for the relation \(\leq \) on \(B\). This is called the antisymmetric property.

  • Next if we choose three numbers from \(B\) such that the first divides the second and the second divides the third, then we always find that the first number to divides the third. Again, the same is true if we replace “divides” with “is less than or equal to.” This is called the transitive property.

Relations that satisfy these properties are of special interest to us. Formal definitions of the properties follow.

Definition6.3.1Reflexive Relation

Let \(A\) be a set and let \(r\) be a relation on \(A\). Then \(r\) is reflexive if and only if \(a r a\) for all \(a \in A\).

Definition6.3.2Antisymmetric Relation

Let \(A\) be a set and let \(r\) be a relation on \(A\). Then \(r\) is antisymmetric if and only if whenever \(a r b\) and \(a \neq b\) then \(b r a\) is false.

An equivalent condition for antisymmetry is that if \(a r b\) and \(b r a\) then \(a = b\). You are encouraged to convince yourself that this is true. This condition is often more convenient to prove than the definition, even though the definition is probably easier to understand.

A word of warning about antisymmetry: Students frequently find it difficult to understand this definition. Keep in mind that this term is defined through an “If...then...” statement. The question that you must ask is: Is it true that whenever there are elements \(a\) and \(b\) from \(A\) where \(a r b\) and \(a \neq b\), it follows that \(b\) is not related to \(a\)? If so, then the relation is antisymmetric.

Another way to determine whether a relation is antisymmetric is to examine (or imagine) its digraph. The relation is not antisymmetric if there exists a pair of vertices that are connected by edges in both directions.

Definition6.3.3Transitive Relation

Let \(A\) be a set and let \(r\) be a relation on \(A\). \(r\) is transitive if and only if whenever \(a r b\) and \(b r c\) then \(a r c\).

Subsection6.3.2Partial Orderings

Not all relations have all three of the properties discussed above, but those that do are a special type of relation.

Definition6.3.4Partial Ordering

A relation on a set \(A\) that is reflexive, antisymmetric, and transitive is called a partial ordering on \(A\). A set on which there is a partial ordering relation defined is called a partially ordered set or poset.

Example6.3.5Set Containment as a Partial Ordering

Let \(A\) be a set. Then \(\mathcal{P}(A)\) together with the relation \(\subseteq\) (set containment) is a poset. To prove this we observe that the three properties hold, as discussed in Chapter 4.

  • Let \(B \in \mathcal{P}(A)\). The fact that \(B \subseteq B\) follows from the definition of subset. Hence, set containment is reflexive.

  • Let \(B_1, B_2 \in \mathcal{P}(A)\) and assume that \(B_1\subseteq B_2\) and \(B_1\neq B_2\) . Could it be that \(B_2\subseteq B_1\)? No. There must be some element \(a\in A\) such that \(a \notin B_1\), but \(a\in B_2\). This is exactly what we need to conclude that \(B_2\) is not contained in \(B_1\). Hence, set containment is antisymmetric.

  • Let \(B_1, B_2,B_3 \in \mathcal{P}(A)\) and assume that \(B_1 \subseteq B_2\) and \(B_2 \subseteq B_3\) . Does it follow that \(B_1 \subseteq B_3\) ? Yes, if \(a\in B_1\), then \(a\in B_2\) because \(B_1 \subseteq B_2\). Now that we have \(a\in B_2\) and we have assumed \(B_2 \subseteq B_3\), we conclude that \(a\in B_3\). Therefore, \(B_1\subseteq B_3\) and so set containment is transitive.

Figure 6.2.6 is the graph for the “set containment” relation on the power set of \(\{1,2\}\).

Figure 6.2.6 is helpful insofar as it reminds us that each set is a subset of itself and shows us at a glance the relationship between the various subsets in \(\mathcal{P} (\{1,2\})\). However, when a relation is a partial ordering, we can streamline a graph like this one. The streamlined form of a graph is called a Hasse diagram or ordering diagram. A Hasse diagram takes into account the following facts.

  • By the reflexive property, each vertex must be related to itself, so the arrows from a vertex to itself (called “self-loops”) are not drawn in a Hasse diagram. They are simply assumed.
  • By the antisymmetry property, connections between two distinct elements in a directed graph can only go one way, if at all. When there is a connection, we agree to always place the second element above the first (as we do above with the connection from \(\{1\}\) to \(\{1,2\}\)). For this reason, we can just draw a connection without an arrow, just a line.
  • By the transitive property, if there are edges connecting one element up to a second element and the second element up to a third element, then there will be a direct connection from the first to the third. We see this in Figure 6.2.6 with \(\emptyset\) connected to \(\{1\}\)\(\)and then \(\{1\}\) connected to \(\{1,2\}\). Notice the edge connecting \(\emptyset\) to \(\{1,2\}\). Whenever we identify this situation, remove the connection from the first to the third in a Hasse diagram and simply observe that an upward path of any length implies that the lower element is related to the upper one.

Using these observations as a guide, we can draw a Hasse diagram for \(\subseteq\) on \(\{1,2\}\) as in Figure 6.3.2.

Hasse diagram for set containment on subsets of \(\{1,2\}\)
Figure6.3.6Hasse diagram for set containment on subsets of \(\{1,2\}\)
Example6.3.7Definition of a relation using a Hasse diagram

Consider the partial ordering relation \(s\) whose Hasse diagram is Figure 6.3.8.

Hasse diagram for for the pentagonal poset
Figure6.3.8Hasse diagram for for the pentagonal poset

How do we read this diagram? What is \(A\)? What is \(s\)? What does the digraph of \(s\) look like? Certainly \(A = \{1,2,3,4,5\}\) and \(1 s 2\), \(3 s 4\), \(1 s 4\), \(1 s 5\), etc., Notice that \(1 s 5\) is implied by the fact that there is a path of length three upward from 1 to 5. This follows from the edges that are shown and the transitive property that is presumed in a poset. Since \(1 s 3\) and \(3 s 4\), we know that \(1 s 4\). We then combine \(1 s 4\) with \(4 s 5\) to infer \(1 s 5\). Without going into details why, here is a complete list of pairs defined by \(s\). \[s = \{(1,1),(2,2),(3,3),(4,4),(5,5),(1,3),(1,4),(1,5),(1,2),(3,4),(3,5),(4,5),(2,5)\}\]

A digraph for \(s\) is Figure 6.3.9. It is certainly more complicated to read and difficult to draw than the Hasse diagram.

Digraph for for the pentagonal poset
Figure6.3.9Digraph for for the pentagonal poset

A classic example of a partial ordering relation is \(\leq \) on the real numbers, \(\mathbb{R}\). Indeed, when graphing partial ordering relations, it is natural to “plot” the elements from the given poset starting with the “least” element to the “greatest” and to use terms like “least,” “greatest,” etc. Because of this the reader should be forewarned that some texts use the symbol \(\leq\) for arbitrary partial orderings. This can be quite confusing for the novice, so we continue to use generic letters \(r\), \(s\), etc.

Subsection6.3.3Equivalence Relations

Another common property of relations is symmetry.

Definition6.3.10Symmetric Relation

Let \(r\) be a relation on a set \(A\). \(r\) is symmetric if and only if whenever \(a r b\), it follows that \(b r a\).

Consider the relation of equality defined on any set \(A\). Certainly \(a = b\) implies that \(b = a\) so equality is a symmetric relation on \(A\).

Surprisingly, equality is also an antisymmetric relation on \(A\). This is due to the fact that the condition that defines the antisymmetry property, \(a = b\) and \(a \neq b\), is a contradiction. Remember, a conditional proposition is always true when the condition is false. So a relation can be both symmetric and antisymmetric on a set! Again recall that these terms are not negatives of one other. That said, there are very few important relations other than equality that are both symmetric and antisymmetric.

Definition6.3.11Equivalence Relation

A relation \(r\) on a set \(A\) is called an equivalence relation if and only if it is reflexive, symmetric, and transitive.

The classic example of an equivalence relation is equality on a set \(A\). In fact, the term equivalence relation is used because those relations which satisfy the definition behave quite like the equality relation. Here is another important equivalence relation.

Example6.3.12Equivalent Fractions

Let \(\mathbb{Z}\)* be the set of nonzero integers. One of the most basic equivalence relations in mathematics is the relation \(q\) on \(\mathbb{Z}\times \mathbb{Z}^*\) defined by \((a, b) q(c, d)\) if and only if \(a d = b c\). We will leave it to the reader to, verify that \(q\) is indeed an equivalence relation. Be aware that since the elements of \(\mathbb{Z}\times \mathbb{Z}^*\) are ordered pairs, proving symmetry involves four numbers and transitivity involves six numbers. Two ordered pairs, \((a, b)\) and \((c, d)\), are related if the fractions \(\frac{a}{b}\) and \(\frac{c}{d}\) are numerically equal.

Our next example involves the following fundamental relations on the set of integers.

Definition6.3.13Congruence Modulo \(m\)

Let \(m\) be a positive integer, \(m\geq 2\). We define congruence modulo m to be the relation \(\equiv_m\) defined on the integers by \[a \equiv_m b \Leftrightarrow m \mid (a-b)\]

We observe the following about congurence modulo \(m\):

  • This relation is reflexive, for if \(a \in \mathbb{Z} \), \(m \mid (a-a) \Rightarrow a\equiv_ma \).

  • This relation is symmetric. We can prove this through the following chain of implications. \begin{equation*} \begin{split} a \equiv_m b &\Rightarrow m \mid (a-b)\\ & \Rightarrow \textrm{For some } k \in \mathbb{Z}, a-b = m k \\ & \Rightarrow b-a = m (-k)\\ & \Rightarrow m \mid (b-a)\\ & \Rightarrow b \equiv_m a \end{split} \end{equation*}

  • Finally, this relation is transitive. We leave it to the reader to prove that if \(a \equiv _mb \) and \(b\equiv _mc\), then \(a \equiv _mc\).

Frequently, you will see the equivalent notation \(a \equiv b (\textrm{mod } m)\) for congruence modulo \(m\).

Example6.3.14Random Relations usually have no properties

Consider the relation s described by the digraph in Figure 6.3.15. This was created by randomly selecting whether or not two elements from \(\{a,b,c\}\) were related or not. Convince yourself that the following are true:

  • This relation is not reflexive.

  • It is not antisymmetric.

  • Also, it is not symmetric.

  • It is not transitive.

  • Is \(s\) an equivalence relation or a partial ordering?

A random relation
Figure6.3.15Digraph of a random relation \(r\)

Not every random choice of a relation will be so totally negative, but as the underlying set increases, the likelihood any of the properties are true begins to vanish.

Subsection6.3.4Exercises

1

  1. Let \(B = \{a, b\}\) and \(U = \mathcal{P}(B)\). Draw a Hasse diagram for \(\subseteq \) on \(U\).

  2. Let \(A = \{1,2, 3, 6\}\). Show that divides, \(\mid \), is a partial ordering on \(A\).

  3. Draw a Hasse diagram for divides on \(A\).

  4. Compare the graphs of parts a and c.

Answer
2

Repeat Exercise 1 with \(B = \{a, b, c\}\) and \( A = \{1, 2, 3, 5, 6, 10, 15, 30\}\).

3

Consider the relations defined by the digraphs in Figure 6.3.16.

  1. Determine whether the given relations are reflexive, symmetric, antisymmetric, or transitive. Try to develop procedures for determining the validity of these properties from the graphs,

  2. Which of the graphs are of equivalence relations or of partial orderings?

Some digraphs of relations for exercise 3 of section 6.3
Figure6.3.16Some digraphs of relations
Answer
4

Determine which of the following are equivalence relations and/or partial ordering relations for the given sets:

  1. \(A = \{\textrm{ lines in the plane}\}\), and \(r\) defined by \(x r y\) if and only if \(x\) is parallel to \(y\). Assume a line is parallel to itself.

  2. \(A = \mathbb{R}\) and \(r\) defined by \(x r y\) if and only if \(\lvert x -y \rvert \leq 7\).

5

Consider the relation on \(\{1, 2, 3, 4, 5, 6\}\) defined by \(r = \{(i,j): \mid i - j\mid = 2\}\).

  1. Is \(r\) reflexive?

  2. Is \(r\) symmetric?

  3. Is \(r\) transitive?

  4. Draw a graph of \(r\).

Answer
6

For the set of cities on a map, consider the relation \(x r y\) if and only if city \(x\) is connected by a road to city \(y\). A city is considered to be connected to itself, and two cities are connected even though there are cities on the road between them. Is this an equivalence relation or a partial ordering? Explain.

7Equivalence Classes

Let \(A = \{0, 1, 2, 3\}\) and let \[r = \{(0, 0), (1, 1), (2, 2), (3, 3), (1, 2),(2, 1), (3, 2), (2, 3), (3, 1), (1, 3)\}\]

  1. Verify that \(r\) is an equivalence relation on \(A\).

  2. Let \(a \in A\) and define \(c(a) = \{b \in A \mid a rb\}\). \(c(a)\) is called the equivalence class of \(a\) under \(r\). Find \(c(a)\) for each element \(a \in A\).

  3. Show that \(\{c(a) \mid a \in A\}\) forms a partition of \(A\) for this set \(A\).

  4. Let \(r\) be an equivalence relation on an arbitrary set \(A\). Prove that the set of all equivalence classes under \(r\) constitutes a partition of \(A\).

Answer
8

Define \(r\) on the power set of \(\{1, 2, 3\}\) by \(A r B \Leftrightarrow \lvert A \rvert = \lvert B \rvert \). Prove that \(r\) is an equivalence relation. What are the equivalence classes under \(r\)?

9

Consider the following relations on \(\mathbb{Z}_8= \{0, 1, . . . , 7\}\). Which are equivalence relations? For the equivalence relations, list the equivalence classes.

  1. \(a r b\) iff the English spellings of \(a\) and \(b\) begin with the same letter.

  2. \(a s b\) iff \(a - b\) is a positive integer.

  3. \(a t b\) iff \(a-b\) is an even integer.

Answer
10

Building on Exercise 6.3.4.7:

  1. Prove that congruence modulo \(m\) is a transitive?

  2. What are the equivalence classes under congruence modulo 2?

  3. What are the equivalence classes under congruence modulo 10?

11

In this exercise, we prove that implication is a partial ordering. Let \(A\) be any set of propositions.

  1. Verify that \(q \to q\) is a tautology, thereby showing that \(\Rightarrow\) is a reflexive relation on \(A\).

  2. Prove that \(\Rightarrow\) is antisymmetric on \(A\). Note: we do not use = when speaking of propositions, but rather equivalence, \(\Leftrightarrow\).
  3. Prove that \(\Rightarrow\) is transitive on \(A\).

  4. Given that \(q_i\) is the proposition \(n < i\) on \(\mathbb{N}\), draw the Hasse diagram for the relation \(\Rightarrow\) on \(\{q_1, q_2, q_3,\ldots \}\).

Answer
12

Let \(S = \{1,2,3,4,5,6,7\}\) be a poset \((S, \leq )\) with the Hasse diagram shown below. Another relation \(r \subseteq S\times S\) is defined as follows: \((x, y) \in r\) if and only if there exists \(z \in S\) such that \(z < x\) and \(z < y\) in the poset \((S, \leq )\).

  1. Prove that \(r\) is reflexive.

  2. Prove that \(r\) is symmetric.

  3. A compatible with respect to relation \(r\) is any subset \(Q\) of set \(S\) such that \(x \in Q \textrm{ and } y \in Q \Rightarrow (x, y) \in r\). A compatible \(g\) is a maximal compatible if \(Q\) is not a proper subset of another compatible. Give all maximal compatibles with respect to relation \(r\) defined above.

  4. Discuss a characterization of the set of maximal compatibles for relation \(r\) when \((S, \leq )\) is a general finite poset. What conditions, if any, on a general finite poset \((S, \leq )\) will make \(r\) an equivalence relation?

Hasse diagram for exercise 12
Figure6.3.17Hasse diagram for \(r\) in exercise 12.