for A being ext-real-membered left_end right_end interval set holds A = [.(min A),(max A).]