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