伯恩赛德引理（），也叫伯恩赛德计数定理（），柯西-弗罗贝尼乌斯引理（）或轨道计数定理（），是群论中一个结果，在考虑对称的计数中经常很有用。该结论被冠以多个人的名字，其中包括、波利亚、柯西和弗罗贝尼乌斯。这个命题不属于伯恩赛德自己，他只是在自己的书中《有限群论 "On the Theory of Groups of Finite Order"》引用了，而将其归于。下文中，设 formula_1 是一个有限群，作用在集合 formula_2 上。对每个 formula_3 属于 formula_1 令 fo