In mathematics and computer science, the BIT predicate, sometimes  is a predicate that tests whether the  bit of the  (starting from the least significant digit)  when  is written as a binary number.
The BIT predicate is a tool used to determine the truth value of a particular bit within a binary number. This predicate is commonly employed in mathematical and computer science contexts.