◀ ▲ ▶Branches / Set-theory / Definition: Relation

Definition: Relation

Let \(S_1, \ldots, S_n\) be (not necessarily different), $n\ge 1$, sets. Any subset of the Cartesian product \(R\subseteq S_1\times \ldots\times S_n\) is called an $n$-ary relation or just a relation.

Table of Contents

Examples: 1

Mentioned in:

Axioms: 1
Chapters: 2
Definitions: 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
Examples: 21
Lemmas: 22 23
Motivations: 24 25
Proofs: 26 27 28 29 30 31
Propositions: 32 33

Thank you to the contributors under CC BY-SA 4.0!

Github:

References

Bibliography

1. Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001
2. Reinhardt F., Soeder H.: "dtv-Atlas zur Mathematik", Deutsche Taschenbuch Verlag, 1994, 10th Edition