Bifalgorithm post · Brisk · Chapter 1
Is H antisymmetric?
Is H antisymmetric? (Brisk · Chapter 1) — "H is an endorelation on T, defined as follows: { (Kirk, Kirk), (Spock, Spock), (Uhura, Scotty), (Scotty, Uhura), (Sp…
Ideas in this flowchart
- H is an endorelation on T.
- H is defined by the listed ordered pairs.
- H contains the self-related pairs (Kirk, Kirk), (Spock, Spock), (Scotty, Scotty), and (Uhura, Uhura).
- H contains the reciprocal pair (Uhura, Scotty) and (Scotty, Uhura).
- H also contains the reciprocal pair (Spock, McCoy) and (McCoy, Spock).
- H is not antisymmetric.
- The antisymmetry violation follows from containing both (Uhura, Scotty) and (Scotty, Uhura).
