Journal of Formalized Mathematics
EMM, 2002
University of Bialystok
Copyright (c) 2002 Association of Mizar Users

Boolean Properties of Sets --- Definitions

Library Committee
Association of Mizar Users

MML Identifier: XBOOLE_0

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

Contents (PDF format)


[1] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.

Received April 6, 2002

[ Download a postscript version, MML identifier index, Mizar home page]