Hi, I've got some questions about topologies.

1) Would B ={ [a,b] | a b}, where a and b are real, be a basis for the discrete topology on the reals (under the open set definition of topology)?

2) Is the box topology always strictly finer than the product topology whenever the index set is infinity?

For 1) I think it is ... but I might have missed something

For 2) I don't think that's the case, my counter example would be if we have a finite index set (so the box and product topologies are the same), then we could extend it to an infinite set where the new open sets are simply equal to the original set (i.e. U = X, for all the new open sets)

Just wanted to check if my understanding of these things are correct .... or if I should start freaking out now hehehe