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: