Enter a list of elements and an operation on the elements in the form of a pure function; then check the properties that the resulting Groupoid has.
Script generated by MSPWizard.nb