Bonjour,
voici l'énoncé d'un problème qui me pose quelques soucis...merci d'avance pour votre attention...
Soit E un ensemble quelconque non vide. Lorsque et sont 2 relations binaires quelconques,on définit l'intersection de et ;notée , comme la relation binaire définie par : et
Par ailleurs, on notera si la condition suivante est réalisée: pour tout x,yE,.
On admettra que est une relation d'ordre sur l'ensemble des relations binaires.
Dans la premiére question,on réussit à démontrer que si et sont 2 relations d'équivalence sur E alors est une relation d'équivalence et que
1)On suppose à partir de maintenant aue E est muni d'une relation d'ordre notée ', ordre non nécessairement total. On dit aue la relation d'équivalence R est régulière,s'il existe un ensemble F ordonné et une fonction croissante de E dans F telle que:
pour tout x,yE
Montrer que l'intersection de deux relations d'équivalence régulières sur E est encore une relation régulière.
Merci d'avance.