La verificación de que dicho conjunto es un ideal procede como sigue: