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
Summary.

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.III24.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)
Bibliography
 [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]