mathlib3

feat(order/rel_classes): housekeeping

#18750

Open