Description: The domain of the domain of a function over a Cartesian square. (Contributed by AV, 13-Jan-2020)