Bifalgorithm post · Brisk · Chapter 1
Is H reflexive?
Is H reflexive? (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 est une endorelation sur T.
- H est définie par un ensemble de couples ordonnés.
- Les couples ordonnés appartenant à H se répartissent en plusieurs catégories.
- H contient les couples réflexifs (Kirk, Kirk), (Spock, Spock), (Scotty, Scotty) et (Uhura, Uhura).
- H contient les couples réciproques (Uhura, Scotty), (Scotty, Uhura), (Spock, McCoy) et (McCoy, Spock).
- Une relation est réflexive lorsque chaque élément est relié à lui-même.
- Le couple (McCoy, McCoy) est absent de H.
- H n'est donc pas réflexive.
