Before defining and , we look at two important examples.

  1. The set , which we can think of as a plane, is the set of all ordered pairs of real numbers:
  1. The set , which we can think of as an ordinary space, is the set of all ordered triples of real numbers:

To generalize and to higher dimensions, we discuss the concept of lists:

Definition: List, Length

  • Suppose is a non-negative integer. A list of length is an ordered collection of elements (which could be numbers, other lists, or more abstract objects)
  • Two lists are equal if and only if they have the same length and the same elements in the same order.
  • A list of length is often called an -tuple.

Lists are often written as elements separated by commas and surrounded by parentheses. Thus, a list of length two is an ordered pair that might be written as . A list of length three is an ordered triple that might be written as . A list of length might look like this:

We sometimes use the word list without specifying its length. Remember, by definition each list has a finite length that is a nonnegative integer. Thus an object that looks like , which might be said to have infinite length, is not a list.

A list of length 0 looks like this: . We consider such an object to be a list so that some of our theorems will not have trivial exceptions.

Lists differ from finite sets in two ways: in lists, order matters and repetitions have meaning; in sets, order and repetitions are irrelevant.

  • The lists and are not equal, but the sets and are.
  • The lists and are not equal (they do not have the same length), but and both equal the set .

Sometimes, when we consider lists of vectors, we do not use surrounding parentheses. For example, is a list of length two of vectors in .