Post #2115296

@funkylab @pustam_egr @lowrankjack and collections of open sets are not the same as topological spaces but seem to be labelled the same.