Journal of Formalized Mathematics
Volume 5, 1993
University of Bialystok
Copyright (c) 1993 Association of Mizar Users

Properties of the Intervals of Real Numbers

Jozef Bialas
Lodz University

Summary.

The paper contains definitions and basic properties of the intervals of real numbers.\par The article includes the text being a continuation of the paper [4]. Some theorems concerning basic properties of intervals are proved.

MML Identifier: MEASURE5

The terminology and notation used in this paper have been introduced in the following articles [5] [6] [1] [2] [3]

Contents (PDF format)

Bibliography

[1] Grzegorz Bancerek. The ordinal numbers. Journal of Formalized Mathematics, 1, 1989.
[2] Jozef Bialas. Infimum and supremum of the set of real numbers. Measure theory. Journal of Formalized Mathematics, 2, 1990.
[3] Jozef Bialas. Series of positive real numbers. Measure theory. Journal of Formalized Mathematics, 2, 1990.
[4] Jozef Bialas. Properties of Caratheodor's measure. Journal of Formalized Mathematics, 4, 1992.
[5] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.
[6] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.