全順序と半順序
Rust
の
std::cmp::PartialOrd
は文字通り
半順序
かと思ったけど、
反射律
満たさないかもしれないからちょっと違う
f32,f64に限っては
partial_cmp
は問題無くて、gt,geの仕様…?
順序集合 - Wikipedia