En sémantique générale, extension est un processus qui, comme dans cet exemple mathématique, commence avec des individus uniques et leur donne des noms uniques, par exemple, I, II, III, etc., ou 1, 2, 3, etc. , l'étape suivante si nécessaire se généralise ou passe au-delà d'extension à valeur infinie des abstractions ordre supérieur comme « numéros » et ainsi de suite. Le passage des abstractions d'ordre inférieur (présentées extensionally) aux ordres supérieurs, par exemple, de 1, 2, 3, etc.,' 'nombre', est dit de suivre l'ordre naturel de l'évaluation, de sorte que quand on parle de l'ordre, extension est implicite, et quand on parle de prorogation, l'ordre est implicite. Un exemple de l'ordre inversé est lorsqu'un particulier abstraction aux ordre supérieur comme la course, par exemple, « blanc », « noir » etc. est projetée sur les individus qui composent. Les individus (chacun unique différents par extension, peu importe ce qui est discuté) constituent la « race » (qui existe uniquement sur les ordres supérieurs), pas l'inverse. Cet usage provient de l'extension (sémantique).