for f being FinSequence of REAL
for A being finite Subset of REAL st A = rng f holds
SgmX (RealOrd,A) = Incr f