qual è la procedura di ordinazione parziale nella deduzione del modello

Ho letto dello standard c ++ 11 ma non riesco a capire bene che il significato del seguente esempio è molto preferito.

Due tipi di tipi vengono utilizzati per determinare l’ordine parziale. Per ciascuno dei modelli coinvolti c’è il tipo di funzione originale e il tipo di funzione trasformata. [Nota: la creazione del tipo trasformato è descritta in 14.5.6.2. – nota finale] Il processo di deduzione utilizza il tipo trasformato come modello dell’argomento e il tipo originale dell’altro modello come modello del parametro. Questo processo viene eseguito due volte per ciascun tipo coinvolto nel confronto di ordinamento parziale: una volta utilizzando il modello trasformato-1 come modello dell’argomento e modello-2 come modello di parametro e utilizzando nuovamente il modello trasformato-2 come modello dell’argomento e modello-1 come modello di parametro
N3242 14.8.2.4.2