Image from using the
AbstractAlgebra
package
This set is not closed.