File:Relation0110.svg
From Wikipedia, the free encyclopedia
Size of this PNG preview of this SVG file: 384 × 280 pixels. Other resolutions: 320 × 233 pixels | 640 × 467 pixels | 1,024 × 747 pixels | 1,280 × 933 pixels | 2,560 × 1,867 pixels.
Original file (SVG file, nominally 384 × 280 pixels, file size: 4 KB)
This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
This Venn diagram is meant to represent a relation between
- two sets in set theory,
- or two statements in propositional logic respectively.
Set theory: The complementary relation
Two sets and are complementary,
when they are disjoint and subdisjoint (no elements are inside both and no elements are outside both of them),
so when all elements are either in set or in set .
In other words: When the complement of their symmetric difference is empty.
= | ||||||||
= |
Under this condition, several set operations, not equivalent in general, produce equivalent results.
These equivalences define complementary sets:
= | = | = | ||||||
= | = | = |
= | = | = | ||||||
= | = | = |
= | = | = | ||||||
= | = | = |
= | = | = | ||||||
= | = | = |
The sign tells, that two statements about sets mean the same.
The sign = tells, that two sets contain the same elements.
Operations and relations in set theory and logic
∅c |
A = A |
|||||||||||||
Ac Bc |
true A ↔ A |
A B |
A Bc |
AA |
A Bc |
|||||||||
A Bc |
¬A ¬B A → ¬B |
A B |
A B A ← ¬B |
Ac B |
A B |
A¬B |
A = Bc |
A¬B |
A B |
|||||
Bc |
A ¬B A ← B |
A |
A B A ↔ ¬B |
Ac |
¬A B A → B |
B |
B = ∅ |
AB |
A = ∅c |
A¬B |
A = ∅ |
AB |
B = ∅c | |
¬B |
A Bc |
A |
(A B)c |
¬A |
Ac B |
B |
Bfalse |
Atrue |
A = B |
Afalse |
Btrue | |||
A ¬B |
Ac Bc |
A B |
A B |
¬A B |
AB |
|||||||||
¬A ¬B |
∅ |
A B |
A = Ac |
|||||||||||
false A ↔ ¬A |
A¬A |
|||||||||||||
These sets (statements) have complements (negations). They are in the opposite position within this matrix. |
These relations are statements, and have negations. They are shown in a separate matrix in the box below. |
more relations | ||||
---|---|---|---|---|
|
Public domainPublic domainfalsefalse |
This work is ineligible for copyright and therefore in the public domain because it consists entirely of information that is common property and contains no original authorship. |
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 22:42, 7 May 2010 | 384 × 280 (4 KB) | Watchduck | layout change | |
17:57, 26 July 2009 | 384 × 280 (30 KB) | Watchduck | |||
16:06, 10 April 2009 | 615 × 463 (4 KB) | Watchduck | ==Description== {{Information |Description={{en|1=Venn diagrams of the sixteen 2-ary Boolean '''relations'''. Black (0) marks empty areas (compare empty set). White (1) means, that there ''could'' be something. There are correspondin |
File usage
No pages on the English Wikipedia use this file (pages on other projects are not listed).
Retrieved from "https://en.wikipedia.org/wiki/File:Relation0110.svg"