Esta dualidad, como todas, es una función involutiva, puesto que el grupo dual de un grupo dual es el grupo original.