Is the only difference between a partition and a topology that the empty set is not part of the partition and that the member sets of the partition are disjoint?