This can be extended to tuples and infinite collections of functions.

Except search (no matter where you look) is pretty lame, and it doesn't really turn infinite collections into manageable choices.

Gödel also considered the case where there are a countably infinite collection of formulas.

Starting from n vector spaces, or a countably infinite collection of them, each with the same field, we can define the product space like above.

Thus, an infinite collection of stars cannot remain in a motionless state.

No infinite collection of a compact space can be locally finite.

In the first place, numbers themselves form an infinite collection, and cannot therefore be defined by enumeration.

A computational problem can be viewed as an infinite collection of instances together with a solution for every instance.

Travelling from level to level (10 in total) you are given an infinite collection of bombs to blast away rubble.

Using the prime number generator provided in the above section, we might define a lazy, but not quite infinite collection.