Wybór par odbywa się poprzez potwierdzenie checkbox'ów w macierzy relacji.
Każda wybrana relacja zwracana jest poprzez graficzne przedstawienie na grafie po prawej stronie macierzy (cyfra 1).
Relacja jest przedstawiana poniżej macierzy w postaci zbioru (cyfra 2)
Aplikacja przy pomocy algorytmów sprawdza własności relacji i wyświetla krzyżyk w okienku przy spełnionej własności.
Aplikacja dostosowuje rozmiar macierzy w zależności od wybranych par.
Przykładowo, jeżeli w macierzy nie występują pary z elementem d, to aplikacja wykonuje badanie dla przestrzeni X = {a,b,c}
