Bifalgorithm post · Brisk · Chapter 1
Is H symmetric?
Is H symmetric? (Brisk · Chapter 1) — "H is an endorelation on T, defined as follows: { (Kirk, Kirk), (Spock, Spock), (Uhura, Scotty), (Scotty, Uhura), (Spock,…
Ideas in this flowchart
- H is an endorelation on T
- H is defined by the listed ordered pairs
- H = {(Kirk, Kirk), (Spock, Spock), (Uhura, Scotty), (Scotty, Uhura), (Spock, McCoy), (McCoy, Spock), (Scotty, Scotty), (Uhura, Uhura)}
- Self-related pairs
- (Kirk, Kirk)
- (Spock, Spock)
- (Scotty, Scotty)
- (Uhura, Uhura)
- Reciprocal pairs
- (Uhura, Scotty) and (Scotty, Uhura)
- (Spock, McCoy) and (McCoy, Spock)
- H is symmetric
- For every (x, y) in H, the corresponding (y, x) is also in H
