Pairs are selected by confirming checkboxes in the relationship matrix.
Each selected relationship is shown in the graph on the right side of the matrix (digit 1).
The relationship is presented below the matrix as a set (digit 2).
The application uses algorithms to check the properties of relations and displays a cross in the window for the property which is met.
The application adjusts the matrix size depending on the selected pairs.
For example, if there are no pairs with element d in the matrix, the application tests the space X = {a,b,c}
