`(f | g)%O` vs. `f \max g`

[affeldt-aist]

"Should not we state these properties in terms of (f | g)%O instead of f \max g (similarly (f&g)%O instead of f \min g)?" @t6s

(copy from a PR conversation #1819 (comment))