In Boolean logic, both the domain and range of most relations and functions are {true,false}. This may should restrictive, but it makes sense for a system in which switches can be fully on or fully off.
In our discussion, we shall use 𝔹 = true,false to denote the set consisting of “true” and “false”.