for A being ext-real-membered non empty non left_end non right_end interval set holds A = ].(inf A),(sup A).[