for each set O and interval P, the set of all maps from I into U is denoted by C
if T=Z and k is a nonnegative integer, the set U can be identified naturally with the set of all sequences B of length k consisting of elements of U, i.e. the cartesian product U