Boolean domain
A boolean domain B is a generic 2-element set, say, B = {0, 1}, whose elements are interpreted as logical values, typically 0 = false and 1 = true.
A boolean variable x is a variable that takes its value from a boolean domain, as x ∈ B.