Auteur: Aymeric Richard (atreide@ireste.fr)
Date: Thu Apr 16 1998 - 16:13:28 CEST
yo, pour cette def je reprends les termes de Quisar
Quisar wrote:
> Ancien signifie qui est là depuis plus lontemps, et qui donc s'est déjà
Maintenant une def un peu plus formelle qui fera plaisir a TNNT
Soit l'ensemble L des lecteurs de la ML, on peut definir l'operateur
d'anciennete comme un ordre total sur L. C'est a dire que pour tout
couple x,y element de L tels que x<>y on a x<y. En francais dans le
texte, pour deux elements distincts de l'ensemble de travail, il est
impossible qu'ils soient aussi ancien l'un que l'autre.
Ca vous va comme def ?
Et pour ceux qui seraient pas content, je les revoie aux cours de math
de Philippe sur les alephs au debut de la ML... Comme quoi on peut
apprendre meme avec Ambre !
-- Aymeric "Atreide" Richard - arichard@ireste.fr http://www.chez.com/atreide - En francais dans le texte - derniere MAJ nov 97 (oups!)
Cette archive a été créée par hypermail 2.1.5 : Sun Sep 15 2002 - 20:31:26 CEST