Elements of Set Theory: n-ARY relations
You might be wondering why do relations only have to do with ordered pairs. We can actually extend the ideas of ordered pairs to the case of ordered triples, and, more generally, to ordered n-tuples.
We can still view triple as ordered pairs if defined as follows,
Similarly, for ordered quadruples we can define it as,
By logical reasoning, we could continue in this way to define ordered quintuples or ordered n-tuples for any particular For uniformity is is convenient to define also the 1-tuple
Now, we can define an n-ary relation on A to be a set of ordered n-tuples with all components in A.
Thus a binary relation (2-ary relation) on A is just a subset of . And a ternary (3-ary) relation on A is just a subset of .
Note, however, that for then any n-ary relation is actually a relation on A. A special case occur for n=1, for the unary relation on A, then we just have a subset of A.
Disclaimer: this is a summary of section 3.3 from the book "Elements of Set Theory" by Herbert B. Enderton, the content apart from rephrasing is identical, most of the equations are from the book and the same examples are treated. All of the equation images were screenshots from generated latex form using typora
Thank you for reading ...
Beep bop, this is @pushbot.
I just received a signal from the Mother Ship that you may require a push.
You just got a 11.16% upvote courtesy of @sinbad989!
Message from the Mother Ship:
You can earn daily profit by delegating SP to make @pushbot stronger. Delegators receive a share in 95% of the earnings.
10 SP • 20 SP • 50 SP
100 SP • 200 SP • 500 SP
1000 SP • 2000 SP • 5000 SP
Any Other Amount
This post has received a 6.82% upvote from thanks to: @sinbad989.
For more information, click here!!!!
If you use our Robot before your post has 1 day and get an Upvote greater than 1%, you will automatically receive Upvotes between 1% and 10% as a bonus from our other robots.
Help support @minnowhelper and the bot tracker by voting for @yabapmatt for Steem witness! To vote, click the button below or go to https://steemit.com/~witnesses and find @yabapmatt in the list and click the upvote icon. Thank you.
Voting for @yabapmatt