PartialOrd does not mention it omits reflexivity

[Muon]

Location

https://doc.rust-lang.org/std/cmp/trait.PartialOrd.html

Summary

A partial order is a reflexive, antisymmetric and transitive relation. The docs for PartialOrd call it a "trait for types that form a partial order". However, we only require transitivity (explicitly) and antisymmetry (by implication from conditions 1, 2, and 4 in the docs). We cannot require reflexivity because f32 and f64 are PartialOrd but x == x is true for them iff x is not NaN. The docs should make clear that reflexivity is not required.