@MISC{SQUARE_1.MIZ,
  AUTHOR = {Trybulec, Andrzej and Byli\'nski, Czes{\l}aw},
  TITLE = {Some Properties of Real Numbers
Operations: min, max, square, and square root},
  NOTE = {Supported by RPBP.III-24.C1.},
  DAY = {16},
  MONTH = {November},
  YEAR = {1989},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  ADDRESS2 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {We define the following operations on real numbers:
  $max(x,y)$, $min(x,y)$, $x^2$, $\sqrt{x}$.
We prove basic properties of introduced operations.
A number of auxiliary theorems absent in \cite{REAL_1.ABS} and
  \cite{ABSVALUE.ABS} is proved.}}

