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

Properties of Binary Relations

Edmund Woronowicz
Warsaw University, Bialystok
Anna Zalewska
Warsaw University, Bialystok


The paper contains definitions of some properties of binary relations: reflexivity, irreflexivity, symmetry, asymmetry, antisymmetry, connectedness, strong connectedness, and transitivity. Basic theorems relating the above mentioned notions are given.

Supported by RPBP.III-24.C1.

MML Identifier: RELAT_2

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

Contents (PDF format)


[1] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.
[2] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.
[3] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.

Received March 15, 1989

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