Functionally Hausdorff / Urysohn / Completely T2 spaces

Stream: Is there code for X?

[Josha Dekker]

Do we have Functionally Hausdorff spaces (also known under various other names, see header)?

See https://topology.pi-base.org/properties/P000009/ for context. It is the first property form pi-base that seems to be missing, so I was curious if it is missing indeed. If it is, which naming should we go for?

[Johan Commelin]

Please list the various other names. That might help people to recognize if we have it in some form...

[Josha Dekker]

Johan Commelin said:

Please list the various other names. That might help people to recognize if we have it in some form...

I've put them in the header, here are all 4:

• Functionally Hausdorff
• Completely Hausdorff
• Urysohn (Not Frechet-Urysohn)
• Completely T2

[Yury G. Kudryashov]

Probably no