for R being Subset of REAL holds (id R) | R is increasing