General definitions and remarks: Bounds in parameters and return values are a 2-Tuple of Tuples of the lowest and the highest coordinate: ((low_x, low_y, ...), (high_x, high_y, ...)).