theorem Th102: :: MEMBER_1:102

for F, G being ext-real-membered set
for f, g being ExtReal st f in F & g in G holds
f / g in F /// G