I allmänna semantik, förlängning är en process, som i denna matematiska exempel, börjar med unika individer och ger dem unika namn, t.ex., I, II, III, etc., eller 1, 2, 3, etc. Nästa steg om det behövs generalizes eller går utöver förlängning till oändligt-värderas högre ordning abstraktioner som "tal" och så vidare. Går från nedre beställning abstraktioner (framlagt extensionally) till högre order, t.ex. från 1, 2, 3, etc., "till"tal"är sade att följa den naturliga ordningen av utvärdering, så att när man talar om ordning, förlängning är underförstått, och när man talar om utvidgning, ordning är underförstått. Ett exempel på omvänd ordning är när en viss högre ordning abstraktion som ras, t.ex., "vita", "svart" etc., projiceras på de personer som utgör den. Individer (olika varje unikt i förlängningen, oavsett vad diskuteras) omfattar de "ras" (som bara finns på högre-order), inte tvärtom. Denna användning härrör från förlängning (semantik).