0. Set of symbols
1. Alphabet
2. Deduction system
3. Theory
4. Zermelo-Fraenkel set theory
5. Set
6. Binary cartesian set product
7. Binary relation
8. Map
9. Function
10. Real function
11. Euclidean real function
12. Basic real function
13. Basic rational function
14. Basic integer function
15. Basic natural number function
Basic boolean function
Formulation 0
Let $\mathbb{B} = \{ 0, 1 \}$ be the D217: Set of basic Boolean numbers.
A D18: Map $f : X \to Y$ is a basic boolean function if and only if \begin{equation} Y \subseteq \mathbb{B} \end{equation}
Formulation 1
A D18: Map $f : X \to Y$ is a basic boolean function if and only if \begin{equation} Y \subseteq \{ 0, 1 \} \end{equation}
Child definitions
» D5402: Basic boolean logic gate
» D41: Indicator function