>>59

φ×φ は空集合でしょうけど、空集合をすべて同じ記号 φ で表わすというのは
いいのだろうかと思ってしまいます。