Set Theory Relations in Java:实现集合论关系概念的Java类-开源

简单的Java类实现了集合论中定义的关系的基本概念。 关系是一组有序对。 关系可以具有属性，包括反射性，对称性或传递性。 这些类可以声明一些有序对，并推论该关系的属性所隐含的所有其他相关有序对。 存在使用哈希集和树集的传递，自反和传递以及对称自反和传递（等效）关系的实现。 当前版本（0.1）已经过测试，但实际上并未使用。 将会欢迎从现场使用中获得的反馈，以及为改进推论算法而开展的合作。