The function values of the hash (set size) function are either nonnegative integers or positive infinity, see hashf. To avoid the need to distinguish between finite and infinite sets (and therefore if the set size is a nonnegative integer or positive infinity), it is useful to provide a definition of the set of nonnegative integers extended by positive infinity, analogously to the extension of the real numbers , see df-xr. The definition of extended nonnegative integers can be used in Ramsey theory, because the Ramsey number is either a nonnegative integer or plus infinity, see ramcl2, or for the degree of polynomials, see mdegcl, or for the degree of vertices in graph theory, see vtxdgf.