Proposition function of boolean numbers

The proposition function of boolean numbers is a function that takes an element of the set of boolean numbers and returns that same element.