Space Suggestion: *some* space which is not P164

[felixpernegger]

(P164 = Cardinality less than every measurable cardinal)

E.g. indiscrete + discrete space. Maybe there are also interesting ones.
This would fill out a huge amount of technically unknown implications, even if its not mathematically super important.

[yhx-12243]

Note: This need additional set theory axioms.

[felixpernegger]

I thought i.e. = e.g.

[prabau]

I fixed it. (lots of online articles explaining the difference)