Help for this page
x op y = [ min{ lower(x) op lower(y), lower(x) op upper(y), upper(x) op lower(y), upper(x) op upper(y) }, max{ lower(x) op lower(y), lower(x) op upper(y), upper(x) op lower(y), upper(x) op upper(y) } ]