theorem Th8: :: LFUZZY_0:8

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