This tutorial deals with the application of the Axiom of Choice in one of its popular disguises to objects which are of some interest in computer science (like lattices, Boolean algebras, filters and ideals, games). We discuss some common variants of this axiom such as Zorn's Lemma, Tuckey's Maximality Principle, the Well-Ordering Theorem and the Maximal Ideal Theorem; each equivalence gives ap...