We define a Hopf algebra and give a variety of examples of varying complexity. To facilitate the definition, we first define the commutative diagram, the tensor product, and an algebra/coalgebra/bialgebra. We briefly discuss ...