  In this article, we define an independence system for a classical knot
diagram and prove that the independence system is a knot invariant for
alternating knots. We also discuss the exchange property for minimal unknotting
sets. Finally, we show that there are knot diagrams where the independence
system is a matroid and there are knot diagrams where it is not.
