Estas funciones son "naturales" en el sentido siguiente: la operación dual doble es un funtor, y los funciones forman una transformación natural del funtor identidad al funtor doble dual.