What are the elements of an idempotent rig with two generators? - View it on GitHub