Skip to main content
Mathematics LibreTexts

6.1: Basic Definitions

  • Page ID
    80521
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    In Chapter 1 we introduced the concept of the Cartesian product of sets. Let's assume that a person owns three shirts and two pairs of slacks. More precisely, let \(A = \{\textrm{blue shirt}, \textrm{tan shirt}, \textrm{mint green shirt}\}\) and \(B = \{\textrm{grey slacks}, \textrm{tan slacks}\}\text{.}\) Then \(A\times B\) is the set of all six possible combinations of shirts and slacks that the individual could wear. However, an individual may wish to restrict himself or herself to combinations which are color coordinated, or “related.” This may not be all possible pairs in \(A\times B\) but will certainly be a subset of \(A\times B\text{.}\) For example, one such subset may be

    \begin{equation*} \{(\textrm{blue shirt}, \textrm{grey slacks}), (\textrm{blue shirt}, \textrm{tan slacks}), (\textrm{mint green shirt}, \textrm{tan slacks})\}. \end{equation*}

    Relations between Two Sets

    Definition \(\PageIndex{1}\): Relation

    Let \(A\) and \(B\) be sets. A relation from \(A\) into \(B\) is any subset of \(A\times B\text{.}\)

    Example \(\PageIndex{1}\): A Simple Example

    Let \(A = \{1, 2, 3\}\) and \(B = \{4, 5\}\text{.}\) Then \(\{(1, 4), (2, 4), (3, 5)\}\) is a relation from \(A\) into \(B\text{.}\) Of course, there are many others we could describe; 64, to be exact.

    Example \(\PageIndex{2}\): Divisibility Example

    Let \(A = \{2, 3, 5, 6\}\) and define a relation \(r\) from \(A\) into \(A\) by \((a, b) \in r\) if and only if \(a\) divides evenly into \(b\text{.}\) The set of pairs that qualify for membership is \(r = \{(2, 2), (3, 3), (5, 5), (6, 6), (2, 6), (3, 6)\}\text{.}\)

    Relations on a Set

    Definition \(\PageIndex{2}\): Relation on a Set

    A relation from a set \(A\) into itself is called a relation on \(A\text{.}\)

    The relation “divides” in Example \(\PageIndex{2}\) will appear throughout the book. Here is a general definition on the whole set of integers.

    Definition \(\PageIndex{3}\): Divides

    Let \(a, b \in \mathbb{Z}\text{,}\) \(a \neq 0\text{.}\) We say that \(a\) divides \(b\text{,}\) denoted \(a \mid b\text{,}\) if and only if there exists an integer \(k\) such that \(a k = b\text{.}\)

    Be very careful in writing about the relation “divides.” The vertical line symbol use for this relation, if written carelessly, can look like division. While \(a \mid b\) is either true or false, \(a/b\) is a number.

    Based on the equation \(a k = b\text{,}\) we can say that \(a|b\) is equivalent to \(k= \frac{b}{a}\text{,}\) or \(a\) divides evenly into \(b\text{.}\) In fact the “divides” is short for “divides evenly into.” You might find the equation \(k= \frac{b}{a}\) initially easier to understand, but in the long run we will find the equation \(a k = b\) more convenient.

    Sometimes it is helpful to illustrate a relation with a graph. Consider Example \(\PageIndex{1}\). A graph of \(r\) can be drawn as in Figure \(\PageIndex{1}\). The arrows indicate that 1 is related to 4 under \(r\text{.}\) Also, 2 is related to 4 under \(r\text{,}\) and 3 is related to 5, while the upper arrow denotes that \(r\) is a relation from the whole set \(A\) into the set \(B\text{.}\)

    clipboard_ef2ce75d918efd07450b50cfaa8607ab8.png
    Figure \(\PageIndex{1}\): The graph of a relation

    A typical element in a relation \(r\) is an ordered pair \((x, y)\text{.}\) In some cases, \(r\) can be described by actually listing the pairs which are in \(r\text{,}\) as in the previous examples. This may not be convenient if \(r\) is relatively large. Other notations are used with certain well-known relations. Consider the “less than or equal” relation on the real numbers. We could define it as a set of ordered pairs this way:

    \begin{equation*} \le = \{(x, y) | x \leq y\} \end{equation*}

    However, the notation \(x \leq y\) is clear and self-explanatory; it is a more natural, and hence preferred, notation to use than \((x, y) \in \le\text{.}\)

    Many of the relations we will work with “resemble” the relation \(\leq\text{,}\) so \(x s y\) is a common way to express the fact that \(x\) is related to \(y\) through the relation \(s\text{.}\)

    Relation Notation Let \(s\) be a relation from a set \(A\) into a set \(B\text{.}\) Then the fact that \((x, y) \in s\) is frequently written \(x s y\text{.}\)

    Composition of Relations

    With \(A = \{2, 3, 5, 8\}\text{,}\) \(B = \{4, 6, 16\}\text{,}\) and \(C = \{1, 4, 5, 7\}\text{,}\) let \(r\) be the relation “divides,” from \(A\) into \(B\text{,}\) and let \(s\) be the relation \(\leq\) from \(B\) into \(C\text{.}\) So \(r = \{(2, 4), (2, 6), (2,16), (3, 6), (8, 16)\}\) and \(s = \{(4, 4), (4, 5), (4, 7), (6, 7)\}\text{.}\)

    Notice that in Figure \(\PageIndex{2}\) that we can, for certain elements of \(A\text{,}\) go through elements in \(B\) to results in \(C\text{.}\) That is:

    Table \(\PageIndex{1}\)

    \(2 | 4 \textrm{ and } 4 \leq 4\)
    \(2 | 4 \textrm{ and } 4 \leq 5\)
    \(2 | 4 \textrm{ and } 4 \leq 7\)
    \(2| 6 \textrm{ and } 6 \leq 7\)
    \(3| 6 \textrm{ and } 6 \leq 7\)
    clipboard_e309878043d9fa7eea6e3923c9ff80568.pngFigure \(\PageIndex{2}\): Relation Composition - a graphical view

    Based on this observation, we can define a new relation, call it \(rs\text{,}\) from \(A\) into \(C\text{.}\) In order for \((a, c)\) to be in \(rs\text{,}\) it must be possible to travel along a path in Figure \(\PageIndex{2}\) from \(a\) to \(c\text{.}\) In other words, \((a, c) \in rs\) if and only if \((\exists b)_B(a r b \textrm{ and } b s c)\text{.}\) The name \(rs\) was chosen because it reminds us that this new relation was formed by the two previous relations \(r\) and \(s\text{.}\) The complete listing of all elements in \(rs\) is \(\{(2, 4), (2, 5), (2, 7), (3, 7)\}\text{.}\) We summarize in a definition.

    Definition \(\PageIndex{4}\): Composition of Relations

    Let \(r\) be a relation from a set \(A\) into a set \(B\text{,}\) and let \(s\) be a relation from \(B\) into a set \(C\text{.}\) The composition of \(r\) with \(s\text{,}\) written \(rs\text{,}\) is the set of pairs of the form \((a, c) \in A\times C\text{,}\) where \((a, c) \in rs\) if and only if there exists \(b \in B\) such that \((a, b) \in r\) and \((b, c) \in s\text{.}\)

    Remark: A word of warning to those readers familiar with composition of functions. (For those who are not, disregard this remark. It will be repeated at an appropriate place in the next chapter.) As indicated above, the traditional way of describing a composition of two relations is \(rs\) where \(r\) is the first relation and \(s\) the second. However, function composition is traditionally expressed in the opposite order: \(s\circ r\text{,}\) where \(r\) is the first function and \(s\) is the second.

    Exercises

    Exercise \(\PageIndex{1}\)

    For each of the following relations \(r\) defined on \(\mathbb{P}\text{,}\) determine which of the given ordered pairs belong to \(r\)

    1. \(x r y\) iff \(x|y\text{;}\) (2, 3), (2, 4), (2, 8), (2, 17)
    2. \(x r y\) iff \(x \leq y\text{;}\) (2, 3), (3, 2), (2, 4), (5, 8)
    3. \(x r y\) iff \(y =x^2\) ; (1,1), (2, 3), (2, 4), (2, 6)
    Answer
    1. \(\displaystyle (2,4), (2,8)\)
    2. \(\displaystyle (2, 3), (2, 4), (5,8)\)
    3. \(\displaystyle (1,1), (2,4)\) 

    Exercise \(\PageIndex{2}\)

    The following relations are on \(\{1, 3, 5\}\text{.}\) Let \(r\) be the relation \(x r y\) iff \(y = x + 2\) and \(s\) the relation \(x s y\) iff \(x \leq y\text{.}\)

    1. List all elements in \(rs\text{.}\)
    2. List all elements in \(sr\text{.}\)
    3. Illustrate \(rs\) and \(sr\) via a diagram.
    4. Is the relation \(rs\) equal to the relation \(sr\text{?}\)

    Exercise \(\PageIndex{3}\)

    Let \(A = \{1,2,3,4,5\}\) and define \(r\) on \(A\) by \(x r y\) iff \(x + 1 = y\text{.}\) We define \(r^2 = r r\) and \(r^3 = r^2 r\text{.}\) Find:

    1. \(\displaystyle r\)
    2. \(\displaystyle r^2\)
    3. \(\displaystyle r^3\)
    Answer
    1. \(\displaystyle r=\{(1,2), (2,3), (3,4), (4,5)\}\)
    2. \(\displaystyle r^2 = \{(1,3), (2,4), (3,5)\}=\{(x,y) : y=x+2, x,y\in A\}\)
    3. \(\displaystyle r^3=\{(1,4), (2,5)\}=\{(x,y) : y=x+3, x,y \in A\}\)

    Exercise \(\PageIndex{4}\)

    Given \(s\) and \(t\text{,}\) relations on \(\mathbb{Z}\text{,}\) \(s = \{(1, n) : n \in \mathbb{Z}\}\) and \(t= \{(n, 1) : n \in \mathbb{Z}\}\text{,}\) what are \(st\) and \(ts\text{?}\) Hint: Even when a relation involves infinite sets, you can often get insights into them by drawing partial graphs.

    Exercise \(\PageIndex{5}\)

    Let \(\rho\) be the relation on the power set, \(\mathcal{P}(S )\text{,}\) of a finite set \(S\) of cardinality \(n\) defined \(\rho\) by \((A,B) \in \rho\) iff \(A\cap B = \emptyset\text{.}\)

    1. Consider the specific case \(n = 3\text{,}\) and determine the cardinality of the set \(\rho\text{.}\)
    2. What is the cardinality of \(\rho\) for an arbitrary \(n\text{?}\) Express your answer in terms of \(n\text{.}\) (Hint: There are three places that each element of S can go in building an element of \(\rho\text{.}\))
    Answer
    1. When \(n=3\text{,}\) there are 27 pairs in the relation.
    2. Imagine building a pair of disjoint subsets of \(S\text{.}\) For each element of \(S\) there are three places that it can go: into the first set of the ordered pair, into the second set, or into neither set. Therefore the number of pairs in the relation is \(3^n\text{,}\) by the product rule.

    Exercise \(\PageIndex{6}\)

    Consider the two relations on people: \(M\text{,}\) where \(aMb\) if \(a\)'s mother is \(b\text{;}\) and \(S\text{,}\) where \(aSb\) if \(a\) and \(b\) are siblings. Describe, in words, the two relations \(MS\) and \(SM\) in simple English terms.

    Exercise \(\PageIndex{7}\)

    Let \(r_1\text{,}\) \(r_2\text{,}\) and \(r_3\) be relations on any set \(A\text{.}\) Prove that if \(r_1\subseteq r_2\) then \(r_1r_3\subseteq r_2r_3\text{.}\)

    Answer

    Assume \((x,y)∈r_1r_3\). This implies that there exist \(z∈A\) such that \((x,z)∈r_1\) and \((z,y)∈r_3\). We are given that ,\(r_1⊆r_2\), which implies that \((x,z)∈r_2\). Combining this with \((z,y)∈r_3\) implies that \((x,y)∈r_2r_3\), which proves that \(r_1r_3⊆r_2r_3\).


    This page titled 6.1: Basic Definitions is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Al Doerr & Ken Levasseur via source content that was edited to the style and standards of the LibreTexts platform.