for A being ext-real-membered set holds A c= [.(inf A),(sup A).]