Matroide: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 30:
# cl è un [[operatore di chiusura]] su ''E''. <!--is an [[abstract closure]] operator.-->
# gode della '''proprietà di scambio di Mac Lane-Steinitz''': se ''a'' appartiene a
# Se ''E'' è infinito, si aggiunge la richiesta di '''carattere finito''': se ''a'' è in cl(''Y''), allora esiste un sottoinsieme finito ''X'' di ''Y'' tale che ''a'' è in cl(''X'').
| |||