Este último axioma se escribe a veces: