Conjunt parcialment ordenat: diferència entre les revisions

En [[matemàtiques]], especialment en [[teoria de l'ordre]], un '''conjunt parcialment ordenat ''' (o ''' Poset ''', l'[[idioma anglès|anglès]] ''' '' p ''' artially ''' o ''' rdered ''' set ''' '') és un [[conjunt]] equipat amb una [[relació binària]] [[relació d'ordre|d'ordre]] parcial. Aquesta formalitza el concepte intuïtiu d'ordre, seqüència, o arranjament dels elements del conjunt. Un tal ordre no necessàriament ha de ser [[ordre total|total]], és a dir, no es necessita que es puguin comparar els uns amb els altres tots els elements del conjunt, Tot i així, això pot ocórrer en alguns casos (en altres paraules, l'[[ordre total]] és un cas particular de l'ordre parcial).