Leyendo el estándar de C ++ 11, no puedo entender completamente el significado de la siguiente declaración. Los ejemplos son muy bienvenidos.

Se utilizan dos conjuntos de tipos para determinar el orden parcial. Para cada una de las plantillas involucradas está el tipo de función original y el tipo de función transformada. [Nota: la creación del tipo transformado se describe en 14.5.6.2. - nota final] El proceso de deducción utiliza el tipo transformado como la plantilla de argumento y el tipo original de la otra plantilla como la plantilla de parámetro. Este proceso se realiza dos veces para cada tipo involucrado en la comparación de ordenamiento parcial: una vez se usa la plantilla transformada-1 como la plantilla de argumentos y la plantilla-2 como la plantilla de parámetros y nuevamente se usa la plantilla-2 transformada como la plantilla de argumentos y la plantilla-1 como la plantilla de parámetros
-N3242 14.8.2.4.2