Some Properties of Binary Relations

Waldemar Korczynski

Pedagogical University, Kielce

Summary.

The article contains some theorems on binary relations, which are used in papers [2], [3], [4], and other.

MML Identifier: SYSREL

Contents (PDF format)

Bibliography

[1] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.

[2] Waldemar Korczynski. Definitions of Petri net. Part I. Journal of Formalized Mathematics, 4, 1992.

[3] Waldemar Korczynski. Definitions of Petri net. Part II. Journal of Formalized Mathematics, 4, 1992.

[4] Waldemar Korczynski. Definitions of Petri net. Part III. Journal of Formalized Mathematics, 4, 1992.

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

[6] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.