Partial order; Hasse diagram

Solution Preview

We use the positions of the 1's in the matrix M_R to determine R (i.e., to determine the set of ordered pairs of elements of the set {a, b, c} which belong to R):

From the first row of M_R (which indicates the elements (a, x) in R, for x in A), we see that (a, a) and (a, c) are in R (but not (a, b)), because the first and third elements of the first row are the locations of the 1's.

From the second row of M_R (which indicates the elements (b, x) in R, for x in A), we see that (b, a) and (b, b) are in R (but not (b, c)), because the first and second ...