Kongruence na algebrách s jednou operací

Tento webMathematica applet slouží k vyšetřování vlastností binárních relací na algebrách s jednou operací.

Zadej množinu X:
Zadej ekvivalenci E jako podmnožinu X x X:	Je E ekvivalence na X?
Zadej operaci pomocí tabulky:	Je uzavřená na X?

Byla zadána operace X x X X (barevný klíč určuje pořadí argumentů):

.

Je operace komutativní?
Je operace asociativní?
Množina jednotkových prvků:
Existují inverzní prvky ke všem prvkům z X?
Je E kongruence na algebře ?