Journal of Formalized Mathematics
Volume 1, 1989
University of Bialystok
Copyright (c) 1989
Association of Mizar Users
Properties of Subsets

Zinaida Trybulec

Warsaw University, Bialystok

Supported by RPBP.III24.C1.
Summary.

The text includes theorems concerning properties
of subsets, and some operations on sets.
The functions yielding improper subsets of a set,
i.e. the empty set and the set itself are introduced.
Functions and predicates introduced for sets are
redefined.
Some theorems about enumerated sets are proved.
The terminology and notation used in this paper have been
introduced in the following articles
[3]
[2]
[1]
Contents (PDF format)
Bibliography
 [1]
Czeslaw Bylinski.
Some basic properties of sets.
Journal of Formalized Mathematics,
1, 1989.
 [2]
Andrzej Trybulec.
Enumerated sets.
Journal of Formalized Mathematics,
1, 1989.
 [3]
Andrzej Trybulec.
Tarski Grothendieck set theory.
Journal of Formalized Mathematics,
Axiomatics, 1989.
Received March 4, 1989
[
Download a postscript version,
MML identifier index,
Mizar home page]