Journal of Formalized Mathematics
Volume 1, 1989
University of Bialystok
Copyright (c) 1989
Association of Mizar Users
Some Basic Properties of Sets
-
Czeslaw Bylinski
-
Warsaw University, Bialystok
-
Supported by RPBP.III-24.C1.
Summary.
-
In this article some basic theorems about singletons, pairs, power sets,
unions of families of sets, and the cartesian product of two sets
are proved.
The terminology and notation used in this paper have been
introduced in the following articles
[1]
-
Cartesian product of sets
-
Basic properties of sets
Bibliography
- [1]
Andrzej Trybulec.
Tarski Grothendieck set theory.
Journal of Formalized Mathematics,
Axiomatics, 1989.
Received February 1, 1989
[
Download a postscript version,
MML identifier index,
Mizar home page]