I just had a dream where I explained to someone why the product topology had to require that basis elements have only finitely many indices where the set is not the whole space. What a weird dream. I haven’t even taken topology for months.
On a side note, maybe this blog would be a great dream journal. It’s much easier for me to remember my dreams if I write them down right away.