Discussion:Préordre
Dernier commentaire : il y a 8 ans par Marvoir dans le sujet Exemple abstrus
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Sous-ensemble strict ? modifier
La relation est-elle un sous-ensemble strict de ou peut-on avoir ?
- À ma connaissance, on peut avoir . Je ne vois pas ce qu'on gagnerait à exclure ce cas. Par exemple, on raisonne parfois sur le péordre induit sur une partie. Il est bon de pouvoir parler de ce préordre sans devoir entrer dans des distinctions de cas. Marvoir (discuter) 15 avril 2016 à 09:50 (CEST)
Exemple abstrus modifier
Fschwarzentruber a ajouté l'exemple suivant : « La relation d'un modèle de Kripke de la logique modale S4 est un préordre. » Un exemple d'une notion élémentaire devait lui aussi être élémentaire. Or la notion de modèle de Kripke n'est pas élémentaire : la preuve, c'est que le lien est rouge. Pour moi, un tel exemple est déplacé dans l'article Préordre. Marvoir (discuter) 15 avril 2016 à 09:50 (CEST)