V splošno semantics, razširitev je proces, ki, kot v ta matematični zgled, se začne z edinstveno posameznikov in jim daje enolična imena, npr., I, II, III, itd., ali 1, 2, 3, itd naslednji korak po potrebi posploši ali prehaja preko razširitev neskončno vrednoti višje nalog odvzemanja kot "številke", in tako naprej. Prehodu odvzemanja nižje nalog (predložena extensionally) višje nalogom, npr., od 1, 2, 3 itd., „"številke," je dejal slediti "naravna da vrednotenje," tako, da ko, ki govori o red, razširitev implicitno, in ko, ki govori o razširitvi, je implicitno nalog. Primer reverzno naloga je zlasti višje nalog odvzem kot dirke, npr. "belo", "črno" itd, projeciranega posameznikov, ki ga sestavljajo. (Vsako enolično različnih z razširitvijo, ne glede na to, kaj se razpravlja) posamezniki obsegajo "dirke" (ki obstaja le na višji nalogi), ne obratno. To navada izhaja iz razširitve (semantike).