theorem Th14: :: SEQFUNC:15

for D being non empty set
for H being Functional_Sequence of D,REAL holds (abs H) " = abs (H ")