I've never seen anyone bothered by such a definition. It's a good definition that shows that you can construct ordered tuples in set theory without the need for

I've never seen anyone bothered by such a definition. It's a good definition that shows that you can construct ordered tuples in set theory without the need for a new primitive notion, and then you can promptly forget it.