Definition 2.2.3.  Let S be a pointed set. We define
base(S)
by:
base([S, s]) := s  (S is a set, s ∈ S)