Soit $A=\{ 1,2,3,4,5 \}$ un ensemble fini et $\mathcal{R}$, $\mathcal{S}$ deux relations sur $A$ décrites par les matrices booléennes suivantes :
$$M_R=\begin{pmatrix}1 & 0 & 0 & 0 & 0 \\ 1 & 1 & 0 & 1 & 0 \\ 1 & 1 & 1 & 1 & 1 \\ 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 1\end{pmatrix} \hspace{1cm} M_S=\begin{pmatrix}1 & 0 & 1 & 1 & 0 \\ 0 & 1 & 1 & 1 & 0 \\ 0 & 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 1 & 0 \\ 1 & 1 & 1 & 1 & 1\end{pmatrix}$$
- Vérifier que $\mathcal{R}$ et $\mathcal{S}$ sont des relations d'ordre.
- Représenter les relations par un graphe et donner leur diagramme de Hasse associé.