theorem :: FCONT_1:45

for X being set
for f being PartFunc of REAL,REAL st ( for x0 being Real st x0 in X holds
f . x0 = |.x0.| ) holds
f | X is continuous