数学とコンピュータサイエンスでは、BIT述語またはAckermannコーディングは、BIT（i、j）と書かれることがあります。これは、バイナリで書かれたとき、番号iのj番目のビットが1であるかどうかをテストする述語です。