This is a program that I wrote, that checks if a finite set with 2 operations defined with a table is a field.
The main method is in FieldTest.java