The Zero(m) command returns a zero element of a magma m with a zero. If the magma has no zero element, then an exception is raised. In the case in which a magma has multiple zeroes, the first one found is returned.