public static interface Domain.OnNonNegativeIntegersCrossIntegersCrossIntegers
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 the
integer plane.