Tento webMathematica applet slouží k vyšetřování vlastností binárních relací na množině.
Vlastnosti binární relace Q:
Dom(Q) = . Im(Q) = .
Test relace Q jako zobrazení z X do X:
Klasifikace vlastností:
Různé odvozené binární relace:
Relační uzávěry:
Nejmenší ekvivalence, obsahující Q:
Rozklad, příslušný nejmenší ekvivalenci, obsahující Q: