theorem :: FCONT_3:23

for g, p being Real
for f being PartFunc of REAL,REAL st ].p,g.[ c= dom f & f | ].p,g.[ is continuous & ( f | ].p,g.[ is increasing or f | ].p,g.[ is decreasing ) holds
rng (f | ].p,g.[) is open