public static interface Domain.OnNonNegativeRealsCrossReals
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 real line.