Estensione semantica generale, è un processo che, come in questo esempio matematico, inizia con individui unici e dà loro nomi univoci, ad esempio, I, II, III, ecc., o 1, 2, 3, ecc il passo successivo se necessario generalizza o passa oltre l'estensione alle astrazioni di ordine superiore con valore infinito come 'numeri' e così via. Il passaggio da astrazioni di ordine più basso (presentate extensionally) per gli ordini superiori, per esempio, da 1, 2, 3, ecc.,' a 'numeri', è detto di seguire l'ordine naturale della valutazione, in modo che quando si parla di ordine, estensione è implicito, e quando si parla di estensione, l'ordine è implicita. Un esempio di ordine invertito è quando un particolare ordine superiore astrazione come razza, per esempio, 'bianco', 'nero' ecc, è proiettata sul individui che essa comprende. Individui (ciascuno in modo univoco differenti per estensione, non importa ciò che è discusso) comprendono la 'corsa' (che esiste solo su ordini superiori), non l'altro senso intorno. Quest'uso deriva dall'estensione (semantica).