public static interface Domain.OnNonNegativeRealsCrossIntegers
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 real numbers with the set of integers.