为什么Array.prototype.every在空数组上返回true？

查看文档

每一个行为都像数学中的"为所有人"量词.特别是,对于空数组,它返回true.(空集的所有元素都满足任何给定条件,这是真实的.)

作为编辑,因为我看起来很奇怪.我从上下文中理解它,但我对正式定义感兴趣.这个解释的引用举例说明了这个含义:

"你是我最喜欢的侄子",如果他是唯一的侄子,那么这是一个空洞的陈述:没有其他人可以考虑.