Anar al contingut

Retícul complet

De L'Enciclopèdia, la wikipedia en valencià

En matemàtiques i ciències de la computació, un retícul complet és un conjunt parcialment ordenat en que tots els subconjunts tenen un suprem (join) i un ínfim (meet). Sent una instància especial de retículs, són estudiats en teoria de l'orde i àlgebra universal.

Els retículs complets no deuen ser confosos en órdens parcials complets, els quals constituïxen una classe estrictament més general de conjunts parcialment ordenats. Retículs complets més específics constituïxen àlgebra booleanas completes i àlgebra de Heyting completes.

Referències

[editar | editar còdic]