so AFAIK it's theoretically possible that I'm the first to spell out that idea in exactly that way

I remember explaining the Axiom of Choice in this way to a fellow undergraduate on my integration theory course in late 2000. But of course it never occurred to me to write it down, so you only have my word for this :-)