>>516
集合論で解釈するなら最初から集合を使えばいいだろ
和集合だろうが直積だろうがなんでも最初から用意されてるんだから

集合で解釈することでなんか素晴らしい定理が完成したら教えてね