Definition:Closure Axioms (Matroid)

Definition
Let $S$ be a finite set.

Let $\sigma : \powerset S \to \powerset S$ be a mapping where $\powerset S$ denotes the power set of $S$.

$\sigma$ is said to satisfy the closure axioms :