Une relation d'ordre partiel est une relation binaire qui possède les trois propriétés suivantes :
- Réflexive : Tout élément est en relation avec lui-même.
- Anti-symétrique : Si a est en relation avec b et b est en relation avec a, alors a et b sont le même élément.
- Transitive : Si a est en relation avec b et b est en relation avec c, alors a est en relation avec c.
En comparant ces propriétés avec les options données :
- A : réflexive, symétrique et transitive (définit une relation d'équivalence)
- B : réflexive et anti-symétrique (manque la transitivité)
- C : réflexive, anti-symétrique et transitive (correspond à la définition)
- D : anti-symétrique et transitive (manque la réflexivité)
La bonne option est C.
C
Send me the next one 📸