for R being non empty interval RelStr
for X being set holds ex_sup_of X,R