public static interface Domain.OnNonNegativeIntegersCrossIndexCrossIndex
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 non-negative integers with two finite sets
of indices.