TODO

   1 1. Add CartesianProductEJA.
   2
   3 2. Check the axioms in the constructor when check != False?
   4
   5 3. Add references and start citing them.
   6
   7 4. Implement the octonion simple EJA.