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.


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.

MML Identifier: ZFMISC_1

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

Contents (PDF format)

  1. Cartesian product of sets
  2. Basic properties of sets


[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]