Pointed set
In mathematics, a pointed set (also based set or rooted set) is an ordered pair where
is a set and
is an element of
called the base point, also spelled basepoint.
Maps between pointed sets and
(called based maps, pointed maps, or point-preserving maps) are functions from
to
that map one basepoint to another, i.e. a map
such that
. This is usually denoted