Bifalgorithm post · Brisk · Chapter 1
Why do a set and its complement form a partition?
Why do a set and its complement form a partition? (Brisk · Chapter 1) — "Every set (S) together with its (total) complement (S) forms a partition of the entire…
Ideas in this flowchart
- A set and its total complement form a partition of the domain of discourse Ω.
- For any set S, the sets S and its complement together partition Ω.
- Every element of Ω is either in S or in its complement.
- No element can be in both S and its complement.
- Males and non-males partition Ω, including women, inanimate objects, and other nouns among the non-males.
- Prime numbers and everything except prime numbers partition Ω.
- Underdone cheeseburgers and everything except underdone cheeseburgers partition Ω.
- By pure logic, this partition property holds no matter what the set is.
