>>586
＞ダイヤと産廃を先に定義しちゃったら、もうその時点で話は終わりになるかと
ダイヤと産廃の何について議論したいかに依る
ダイヤや産廃が存在することを証明したいのであれば、それらの（空でない）集合を持ち出すのは無意味なトートロジーとなるが、
あなたは何をしたいのだったか

＞どこにも存在するのであれば、集合そのものがダイヤであり産廃であるので
「どこにでも存在する」という言葉が曖昧で、私にはわかりません