We provide a very brief overview of some basic notions in set theory and how to properly define mappings. At the concluding part of the episode we state and prove the well-ordering theorem for the set of natural numbers.