for F, G being ext-real-membered set
for r being Real st r -- F c= r -- G holds
F c= G