Wolfram Library Archive

All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

On Relations

Jaime Rangel-Mondragón
Organization: Universidad Autonoma de Querétaro
Department: Facultad de Informatica
Old MathSource #

Revision date


Given a set A, the set of all possible relations defined on it has found a prominent place as a natural framework both in applied and theoretical research. A relation on A is any subset of A × A. This notebook includes the generation and enumeration of important families of relations. The enumeration of these families is accomplished under conjugacy equivalence by means of Burnside’s lemma following the ideas of Davis. The families include relations in general, symmetric relations, reflexive relations, graphs, partial and total orders, lattices and functions. File onRelations.pdf containing all figures refered to in the text suplements this notebook, written using Mathematica version 4.

*Mathematics > Foundations of Mathematics > Set Theory

equivalence, symmetric, reflexive, transitive, partial, orders, functions, graphs, lattices
Downloads Download Wolfram CDF Player

OnRelations.pdf (36.4 KB) - PDF Document
OnRelations.nb (300.9 KB) - Mathematica Notebook