  In 1904 Ernst Zermelo formulated the Axiom of Choice (abbreviated as AC throughout this article) in terms of what he called coverings (Zermelo 1904).  He starts with an arbitrary set \(M\) and uses the symbol \(M'\) to denote an arbitrary nonempty subset of \(M\), the collection of which he denotes by M.  He continues: