Topics: Discrete Mathematics
Let be a relation, with and .
We define the relation matrix (a boolean matrix) with:
We can use this matrix to easily determine the properties of the relation.
The matrix for is:
Notice that we can tell that is reflexive since its matrix has s in its diagonal.