检查给定的关系不是是布尔代数

这个程序检查它适用于一组给定关系即是布尔代数或不。 为了验证，首先我们需要检查是否给定的一组是反身代词、 传递、 反对称或不。如果它满足上述三个，然后它被称为一个偏序的集合。 接下来，我们找到的最小、 最大的元素。此外我们发现最大的下界 [glb] 和最小上界 [滑] 如果它们存在的话。接下来，我们检查是否每一对中的关系的元素具有 glb 和滑。如果是的话，那么就被称为一个格子。 接下来，我们检查是否给定的格子是分布式和补充。如果是的话，那么就被称为布尔代数。