© 2016, Pleiades Publishing, Ltd.The ultrapower of real line, RU, where U is a nontrivial ultrafilter in the set the N of natural integers, is some realizations of the “non-standard expansion” *R of the set of real numbers. ...