有限偏序

此crate提供表示有限偏序的trait和数据类型。有关更多信息，请参阅API文档。

lib.rs:

[FinPartOrd] 是表示有限偏序的trait。