Matroide: differenze tra le versioni

<br/>Si definisce inoltre come '''operatore di chiusura''' di una matroide finitaria come la funzione del tipo cl : '''P'''(''E'') &mapsto: '''P'''(''E'')''M'' la quale applicata a un generico sottoinsieme ''A'' di ''E'' lo amplia aggiungendogli tutti gli elementi ''x'' in ''E'' ma non in ''A'' tali che esiste un circuito ''C'' di ''M'' che contiene ''x'' ed è contenuto nell'unione di ''A'' ed {''x''}. Si vede facilmente che tale funzione è effettivamente una [[funzione di chiusura]], cioè che si tratta di una [[endofunzione di booleano]] [[funzione ampliante|ampliante]], [[endofunzione di booleano monotona|monotona]] e [[endofunzione idempotente|idempotente]].