definition of characteristic function over subset of set
Topics
About: set
The table of contents of this article
Starting Context
- The reader knows a definition of map.
Target Context
- The reader will have a definition of characteristic function over subset of set.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\( S'\): \(\in \{\text{ the sets }\}\)
\( S\): \(\subseteq S'\)
\( \mathbb{R}\): \(= \text{ the Euclidean set }\)
\(*\chi_S\): \(: S' \to \mathbb{R}\)
//
Conditions:
\(\forall s \in S (\chi_S (s) = 1) \land \forall s \in S' \setminus S (\chi_S (s) = 0)\)
//
