It's certainly how they're defined in math. In fact all is just min and any is just max over the poset {True, False} with True > False. I think the reason we d

It's certainly how they're defined in math. In fact all is just min and any is just max over the poset {True, False} with True > False. I think the reason we don't usually use those definitions is we like to maintain the fiction we're working with actual integers or reals, which don't have a min/max.