设I为集合，I×I的对角线的特征函数称为克罗内克尔符号（Kronecker symbol），并记为δ。习惯上将这个映射视为通过集合I×I确定下标的族；于是：如果i≠j，δij=0；如果i=j，δij=1
