TD7 - Ordres bien fondés
Exercice 1 : Relations binaires ... Exercice 2 : Ordre lexicographique ... Une relation d'ordre est une relation binaire réflexive, antisymétrique et tran-.
Exercice 1 : Relations binaires ... Exercice 2 : Ordre lexicographique ... Une relation d'ordre est une relation binaire réflexive, antisymétrique et tran-.