In mathematics and computer science, the BIT predicate, sometimes written BIT {\displaystyle {\text{BIT}}}, is a predicate that tests whether the j {\displaystyle j} th bit of the number i {\displaystyle i} is 1, when i {\displaystyle i} is written as a binary number. Wikipedia