home
blog
search
about
◐
table of contents
characteristic function
2024-01-01
for
, define the map
by
is called the
characteristic function
of
.