If computing say box_approximation((Hyperrectangle(;low=[19.5], high=[20.5]) × Universe(1)) ∩ Hyperrectangle(;low=[19.5, 19.0], high=[20.5, 22.0])) (not the most interesting example, I know, but I ran into it with this where I have no control over the LHS of the intersection) then LazySets throws the assertion error: "AssertionError: the first set in the intersection must be bounded". The box approximation over this intersection is however well-defined. The order does not matter due to swap in ρ for Intersections.

The same thing happens for the following example:

box_approximation(Hyperrectangle(;
        low=[-12.0, -12.0, -0.5, -2.5, -0.35, -0.5, -0.05],
        high=[12.0, 12.0, 0.5, 2.5, 0.35, 0.5, 0.05],
    ) ∩ HalfSpace([0.0, 0.0, 0.0, 1.0, 0.0, 0.0, 0.0], 0.1))