The characteristic function of a subset of some set is a function from to the set of truth values (which classically is ) that takes in to the truth value of the statement that . That is,
where (also often ) is the characteristic function of .
More generally, the characteristic morphism of a subobject of some objects in a category with a subobject classifier is the morphism from to that classifies ; we have that
is a pullback square.
Last revised on July 19, 2014 at 07:07:31. See the history of this page for a list of all contributions to it.