mathlib

8cc2ff4c - refactor(order/{bounded, rel_classes}): Moved `bounded` into the `set` namespace (#11594)

refactor(order/{bounded, rel_classes}): Moved `bounded` into the `set` namespace (#11594) As per the [Zulip discussion](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/bounded.2Emono). Closes #11589.