Kennifall mengis A{\displaystyle A}, táknað með χ, er ósamfellt fall, sem tekur gildið einn ef stak x í formenginu X{\displaystyle X} er einnig stak í A{\displaystyle A}, en tekur annars gildið núll. Skilgreining: