theorem Th2: :: MEMBERED:2

for X being set st X is ext-real-membered holds
X c= ExtREAL