This interface models mathematical objects (like maps into some other
set or difference equations) that have as their domain of definition
the cartesian product of a finite set of indices with the set of
integers and which are periodic in the second variable.