Show that a section is always monic. The principle ES is a variant of what is known as the axiom of choice. The name relates to our making an arbitrary choice of the element $ s(i) $ of $ A_{i} $ .