Definition:Boolean Domain