public static interface Domain.OnNonNegativeIntegersCrossIndex
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 a finite set of indices.