Proposition function of boolean numbers

Proposition function of boolean numbers
Notation	'"`UNIQ--postMath-00000001-QINU`"'
Range	'"`UNIQ--postMath-00000002-QINU`"' set of boolean numbers
Domain	'"`UNIQ--postMath-00000003-QINU`"' set of boolean numbers
Functions
Inverse	proposition function of boolean numbers
Second iterate	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.