Treillis de Galois
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
- Soient et deux fonctions définies sur les treillis et telles que (m1,m2) soit une correspondance de Galois.
- Soit G l'ensemble des couples tels que p = m2(q) etq = m1(p)
- Soit la relation définie par si et seulement si .
La structure est alors un treillis appelé treillis de Galois.