全順序と半順序
Rustのstd::cmp::PartialOrdは文字通り半順序かと思ったけど、反射律満たさないかもしれないからちょっと違う
https://doc.rust-lang.org/std/cmp/trait.PartialOrd.html#strict-and-non-strict-partial-orders
f32,f64に限ってはpartial_cmpは問題無くて、gt,geの仕様…?
順序集合 - Wikipedia