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 the set of non-negative integers with the
integers and which are periodic in the second variable.