A more semantic variation of the hierarchy can be defined on all finitary relations on the natural numbers; the following definition is used.
Многе семантичке варијације хијерархије могу се дефинисати на свим финитарним односима природних бројева; следећа дефиниција се користи.