Lendo o padrão C ++ 11, não consigo entender completamente o significado da seguinte declaração. Exemplo são muito bem vindos.

Dois conjuntos de tipos são usados ​​para determinar a ordem parcial. Para cada um dos modelos envolvidos, há o tipo de função original e o tipo de função transformada. [Nota: A criação do tipo transformado é descrita em 14.5.6.2. - end note] O processo de dedução usa o tipo transformado como modelo de argumento e o tipo original do outro modelo como o modelo de parâmetro. Esse processo é feito duas vezes para cada tipo envolvido na comparação de ordenação parcial: uma vez usando o template-1 transformado como template de argumento e template-2 como o template de parâmetro e novamente usando o template-2 transformado como template de argumento e template-1 como o modelo de parâmetro
-N3242 14.8.2.4.2