background

Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Geriadur Klok Klasket a-raok / Previous search arenn
Klasket a-raok / Previous search arenn
aksiom ar choaz g.   axiome du choix
mathématiques ◊ axiome de la théorie des ensembles qui affirme la possibilité de construire des ensembles en répétant une infinité de fois une action de choix, même non spécifiée explicitement
en  axiom of choice
  • enoñsad aksiom ar choaz : evit kement teskad X a deskadoù nann-goullo ez eus ur fonksion termenet war X, anvet fonksion choaz, hag a liamm kement teskad A en X gant un elfenn eus an teskad-mañ A
    énoncé de l’axiome du choix : pour tout ensemble X d'ensembles non vides, il existe une fonction définie sur X, appelée fonction de choix, qui à chaque ensemble A appartenant à X associe un élément de cet ensemble A