In English, an infinitival phrase consisting of the infinitive of the auxiliary "have" (with or without a preceding "to") plus the past participle; a comparable phrase or word in other languages.

(grammar) A word or affix attached to the stem of a verb in order to form the full infinitive.

plural of infinitive marker

(programming) Any recursion that continues without end.

(mathematical analysis) Any expression that represents the addition a countably infinite number of ordered summands, often explicitly indexed by the positive or nonnegative integers.

(set theory, of a set) That is both countable and infinite; having the same cardinality as the set of natural numbers; formally, such that a bijection exists from ℕ to the set.

(logic) A regress into an infinite sequence of propositions in an attempt to found the truth of the proposition Pᵢ on the truth of the proposition Pᵢ₊₁.

(mathematics, in optimization programming) Involving a finite number of variables but an infinite number of constraints, or vice versa.

(programming) A loop which continues indefinitely.

plural of infinite loop