Bifalgorithm post · Brisk · Chapter 1
How is membership in a relation written?
How is membership in a relation written? (Brisk · Chapter 1) — "I find the notation for expressing relations somewhat awkward. But here it is. When we defined…
Ideas in this flowchart
- Notation for expressing relations
- The notation can seem somewhat awkward.
- In relation S, the ordered pair (Harry, Dr. Pepper) belongs to S.
- This fact can be written explicitly as (Harry, Dr. Pepper) ∈ S.
- Mathematicians more often write Harry S Dr. Pepper.
- This is pronounced “Harry is S-related-to Dr. Pepper.”
- Non-membership in S can be emphasized by striking through the relation notation.
- The example is that (Harry, Mt. Dew) is not in S, written as Harry S Mt. Dew with the notation struck through.
