Then nTop faithfully embeds in mTop iff n ≤ m. That is, it actually is more expressive to consider multiple topological structures.

Proof: Embedding nTop in mTop if n ≤ m is easy: e.g. make the extra topologies discrete. To see that embedding larger n in smaller m doesn't work, notice that any full and faithful embedding would have to preserve the terminal object 1 (the singleton set with each topology being trivial). Furthermore the set of maps from 1 to (X, T1, ... Tn) is equal in cardinality to X, and this must be preserved. So the embedding preserves the cardinality of the underlying set. But some simple combinatorial reasoning yields the conclusion that there are 2

^{n-1}(2

^{n}+ 1) isomorphism classes of objects in nTop whose cardinality is 2.