Matroide: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Recupero di 1 fonte/i e segnalazione di 0 link interrotto/i. #IABot (v2.0beta14) |
m Errori di Lint: Tag non chiusi |
||
Riga 25:
Definiamo ora le matroidi mediante un operatore di chiusura, cioè considerando un insieme ambiente e una [[funzione di chiusura|funzioni di chiusura]] su di esso che possiede particolari proprietà.
Definiamo come ''matroide della chiusura'' un coppia (''E'',cl) dove ''E'' è un insieme finito e cl una funzione del tipo '''P'''(''E'') ^mapsto; '''P'''(''E'') che soddisfa le seguenti condizioni, per arbitrari elementi ''a'', ''b'' di ''E'' e per arbitrari sottoinsiemi ''Y'', ''Z'' di ''E'':
# cl è un [[operatore di chiusura]] su ''E''. <!--is an [[abstract closure]] operator.-->
| |||